Ist es ein Axiom daß 2 ≠ 3? oder n ≠ n + 1? D.h. weiter nichts als: braucht man in den Anfängen der Mathematik außer den Definitionen noch andere syntaktische Regeln? Denn etwas anderes können die „Axiome” natürlich nicht sein.