Poznámka 46
Studium nestandardních modelů (axiomatické) aritmetiky tvoří dnes neodmyslitelnou část matematické logiky. K některým detailům a historii těchto rozlišení viz má kniha Filosofie čísla, kap. 5.
Zpět na článek: Reflexe 41:Proč se musí logika postarat sama o sebe