La axiomatización y los números naturales ii

Como construir el orden a partir de los axiomas de peanoAl intentar demostrar los teoremas 2.3 - 2.5 en una teoría de números naturales basada sólo en los axiomas de PEANO, se ve fácilmente que las demostraciones dadas se trasladan a tal teoría, después de haber introducido una relación de orden en...