Cita de Kneale sobre Peano/es

Quaestio si nos pote defini [math]\displaystyle{ N_0 }[/math] significa si nos pote scribe

aequalitate de forma

[math]\displaystyle{ N_0 }[/math] = expressiones composito per signos noto, [math]\displaystyle{ \cup, \cap, -, ..., \iota }[/math]

quod non es facile. Ergo nos sume tres idea

[math]\displaystyle{ N_0, 0, +, }[/math]

ut idea primitivo per que nos defini omni symbolo de Arithmetica. Nos determina valore de symbolo non definito per systema de propositio primitivo sequente.