En teoría de conjuntos , se han propuesto varias formas de construir los números naturales . Estos incluyen la representación mediante ordinales de von Neumann , comúnmente empleados en la teoría de conjuntos axiomática , y un sistema basado en la equinumerosidad propuesto por Gottlob Frege y Bertrand Russell .
En la teoría de conjuntos de Zermelo-Fraenkel (ZF) , los números naturales se definen recursivamente dejando que 0 = {} sea el conjunto vacío y n + 1 (la función sucesora) = n ∪ { n } para cada n . De esta forma n = {0, 1,…, n − 1} para cada número natural n . Esta definición tiene la propiedad de que n es un conjunto con n elementos. Los primeros números definidos de esta manera son: (Goldrei 1996)
El conjunto N de números naturales se define en este sistema como el conjunto más pequeño que contiene 0 y cerrado bajo la función sucesora S definida por S ( n ) = n ∪ { n } . La estructura ⟨ N , 0, S ⟩ es un modelo de los axiomas de Peano (Goldrei 1996). La existencia del conjunto N es equivalente al axioma del infinito en la teoría de conjuntos ZF.
El conjunto N y sus elementos, cuando se construyen de esta manera, son una parte inicial de los ordinales de von Neumann. Quine se refiere a estos conjuntos como "conjuntos de contadores". [1]
Gottlob Frege y Bertrand Russell propusieron definir un número natural n como la colección de todos los conjuntos con n elementos. Más formalmente, un número natural es una clase de equivalencia de conjuntos finitos bajo la relación de equivalencia de equinumerosidad . Esta definición puede parecer circular, pero no lo es, porque la equinumerosidad se puede definir de maneras alternativas, por ejemplo diciendo que dos conjuntos son equinumeros si se pueden poner en correspondencia uno a uno ; esto a veces se conoce como principio de Hume .
Esta definición funciona en la teoría de tipos y en las teorías de conjuntos que surgieron de la teoría de tipos, como los Nuevos Fundamentos y los sistemas relacionados. Sin embargo, no funciona en la teoría de conjuntos axiomática ZFC ni en ciertos sistemas relacionados, porque en tales sistemas las clases de equivalencia bajo equinumerosidad son clases propias en lugar de conjuntos.
Para permitir que los números naturales formen un conjunto, las clases equinumerosas se reemplazan por conjuntos especiales, denominados cardinales . La forma más sencilla de introducir cardinales es agregar una noción primitiva, Card(), y un axioma de cardinalidad a la teoría de conjuntos ZF (sin axioma de elección). [2]
Axioma de cardinalidad: Los conjuntos A y B son equinumeros si y sólo si Tarjeta(A) = Tarjeta(B)
Definición: la suma de los cardinales K y L como K= Card(A) y L = Card(B) donde los conjuntos A y B son disjuntos, es Card (A ∪ B).
La definición de conjunto finito se da independientemente de los números naturales: [3]
Definición: Un conjunto es finito si y sólo si cualquier familia no vacía de sus subconjuntos tiene un elemento mínimo para el orden de inclusión.
Definición: un cardinal n es un número natural si y sólo si existe un conjunto finito cuyo cardinal es n.
0 = Tarjeta (∅)
1 = Tarjeta({A}) = Tarjeta({∅})
Definición: el sucesor de un cardenal K es el cardenal K + 1
Teorema: los números naturales satisfacen los axiomas de Peano
William S. Hatcher (1982) deriva los axiomas de Peano de varios sistemas fundamentales, incluidos ZFC y la teoría de categorías , y del sistema de Grundgesetze der Arithmetik de Frege utilizando notación moderna y deducción natural . La paradoja de Russell demostró que este sistema es inconsistente, pero George Boolos (1998) y David J. Anderson y Edward Zalta (2004) muestran cómo repararlo.
