Cita de Kneale sobre Peano

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

aequalitate de forma

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

quod senar és facile. Ergo ens sumeix tres idea

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

ut idea primitiu per que ens defini omni symbolo d'Arithmetica. Ens determina valori de symbolo senar definito per systema de propositio primitiu sequente.

Citat per W. I M. Kneale, El desenvolupament de la lògica, Tecnos, Madrid 1972, p. 437.

---

Original en castellà

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.