1
Probar 2 + 2 = 2 * 2 (y similar)
Produzca una poof formal completa de declaraciones tales como 1+2=3, 2+2=2*(1+1)etc. Introuction Si conoce la aritmética de Peano, probablemente puede saltear esta sección. Así es como definimos los números naturales: (Axiom 1) 0 is a number (Axiom 2) If `x` is a number, the `S(x)`, the successor of `x`, is …