El conjunto N de los números naturales puede ser introducido de forma natural como el conjunto de los cardinales de los conjuntos entre sí coordinables,sin embargo, resulta equivalente introducirlos desde el punto de vista de un lenguaje formalizado, desde la lógica matemática, mediante un conjunto de axiomas o condiciones postuladas. En 1989 Giusepe Peano propuso un conjunto de nueve axiomas (que después de algunas correcciones quedarían en solo cinco) con los cuales es posible deducir en N tanto su estructuración algebráica como su orden total.

17 abril 2010