Construcción axiomática del conjunto de los números naturales a partir de una condición sobre su cardinalidad

Abstract

Se construye la estructura algebraica de N a partir de un conjunto de cardinalidad N0. Como consecuencia el axioma de inducción de Peano se presenta como un teorema.The algebraic structure of N is constructed from a set of cardinality N0. As a result the induction Peano axiom is presented as a theorem.