Axiomas de los nmeros reales

Para que todos los procedimientos matemticos usados sean vlidos se debe partir de
una base que respalde cada procedimiento, cada paso lgico usado, y debe, en
consecuencia, demostrarse cada afirmacin no trivial. Son estas demostraciones los pilares
fundamentales de toda rama de las matemticas, ya que sin ellos puede ponerse en duda la
veracidad de cualquier afirmacin.
Las afirmaciones a las que se hace referencia se llaman axiomas. Sern, por lo tanto,
afirmaciones que se aceptan como verdaderas debido a su trivialidad, pudiendo en
ocasiones ser demostradas cuando no lo son.
El otro tipo de afirmaciones a las que se hace referencia diciendo: "afirmacin no
trivial", son los teoremas, que son ya, afirmaciones no tan triviales y muchas veces poco
intuitivas. Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas
ya demostrados. Una consecuencia inmediata de un teorema se llamar corolario.
Hay tres tipos de axiomas:

Los axiomas algebraicos

Los axiomas de orden

El axioma topolgico.

El primero, trata de las propiedades de suma, resta, multiplicacin y divisin; el

segundo establece un orden para los elementos de cada conjunto dado; el tercero trata sobre
la nocin de continuidad.
Existe un conjunto que tiene estas propiedades. Nace entonces el primer axioma
Axioma Fundamental
Existe un conjunto que denotaremos por

que satisface los tres tipos de

axiomas mencionados, de orden, algebraicos y topolgicos.

El conjunto que cumple con estas propiedades se llama El conjunto de los Nmeros
Reales y sern los axiomas de este conjunto, las bases de lo que es quizs la rama ms
importante de la matemtica: el Clculo
Se puede observar que, usando el lenguaje lgico matemtico, los teoremas que se
demuestren, sern vlidos si los axiomas son vlidos, por lo que los teoremas sern del tipo:
Si el axioma Fundamental es cierto, entonces la afirmacin es cierta.
Axiomas Algebraicos
Los axiomas algebraicos, pudindose escribir como un todo, pueden ser subdivididos
en dos tipos: los de suma y producto.
1. Axiomas de la suma
Axioma
A1.1 Para todo
por

, existe un nico elemento, tambin en

, denotado

que llamamos la suma de e .

A1.2

para todo

A1.3

para todo

A1.4 Existe un elemento de

, denotado por

.
tal que

para todo

.
A1.5 Para cada

existe un

tal que

2. Axiomas del producto

Axioma
A2.1 Para todo
por

, existe un nico elemento, tambin en

que llamaremos el producto de e .

A2.2

para todo

, denotado

A2.3

para todo

A2.4 Existe un elemento de

A2.5 Para cada

, que denotaremos por tal que

tal que no sea cero, existe un

tal que

Anlisis axiomtico

El axioma (1.2) conocido como "propiedad conmutativa" dice que el orden de

los sumandos no altera el valor de la suma. Debe tenerse en cuenta que esto es vlido slo
para sumas finitas.

El axioma (1.3) conocido como propiedad asociativa de la suma dice que la

asociacion de la suma no altera el valor de sta.

El axioma (1.4) dice que existe un elemento en los nmeros reales que, al ser

sumado con cualquier nmero real, sigue siendo ese mismo real. Este real se llama cero, y
se conoce tambin como el elemento neutro aditivo de este conjunto.

El axioma (1.5) dice que dado un nmero real cualquiera existe otro (nico) tal

que la suma de ambos es nula. Si este elemento es

otro nmero sea cero es

, el nmero tal que la suma de ste y el

. Este elemento se llama inverso aditivo de .

El axioma (2.2) dice que el orden de los factores no altera el producto.

El axioma (2.3) dice que el orden con que elijamos los productos no afecta el

producto. Esta propiedad se conoce como propiedad asociativa de la multiplicacin.

El axioma (2.4) dice que existe un nmero real tal que el producto de ste con

otro real, sigue siendo este ltimo. Este elemento denotado por se conoce como neutro
multiplicativo.

El axioma (2.5) dice que para cualquier real

no nulo, existe otro, tal que el

producto de ambos da como resultado el neutro multiplicativo. Este elemento denotado por

se conoce como inverso multiplicativo de .

Axiomas de Orden
Los axiomas de orden establecen una relacin de "cantidad" (vase construccin de
los naturales). Esta relacin es del tipo mayor o igual. En realidad, cuando se construyen los
naturales, se dice que un nmero es menor que otro si est contenido en ste, es decir, si su
cardinalidad es menor o igual que otra.
Para establecer una relacin de orden, es necesario introducir el smbolo
dir si un nmero es mayor o menor que otro. Para la igualdad se usa el smbolo

que nos
que ya

conocemos.
Se dir que

slo si

es menor que

. O dicho de otra forma, si

es

mayor que .
De manera rigurosa, se puede decir que existe un conjunto
si y slo si

tal que

Se dan a continuacin los Axiomas de Orden

Axioma
O1.1 Si

, entonces se cumple una y solamente una de las siguientes

afirmaciones:
;
O1.2 Si

;
y adems

, entonces

O1.3 Si

, entonces

O1.4 Si

para todo

, entonces

Anlisis axiomtico

El axioma (1.2) dice geomtricamente que si

su vez a la izquierda de , entonces debe estar

est a la izquierda de

y ste a

a la izquierda de . Esta interpretacin es

bastante til.
Axioma topolgico
Claramente los racionales satisfacen los primeros axiomas, pero no se puede con
esto, demostrar la existencia de un nmero irracional, como raz cuadrada de dos por
ejemplo. Para esto es necesario el Axioma topolgico que dice lo siguiente.
Toda sucesin creciente y acotada superiormente es convergente.
Anlisis axiomtico
Hay varios conceptos en esta breve afirmacin (pero muy importante), que deben
conocerse para entender el significado de este axioma. stos, son los de sucesin,
creciente, acotado superiormente y convergencia.
Axiomas bsicos de la geometra
Adems de los conceptos primitivos para construir el conocimiento geomtrico,
necesitamos de ciertos postulados que no necesitan demostracin por resultar evidentes, a
dichos postulados los llamaremos axiomas. Los axiomas tambin resultan ser entonces el
punto de partida, todas los otros postulados que vayamos construyendo necesitarn
demostracin, es decir que, utilizaremos la lgica junto con los conceptos primitivos y los
axiomas para validarlos. Estos nuevos postulados recibirn el nombre de teoremas, y
entonces ellos pueden usarse para las demostraciones de los siguientes postulados o
propiedades.
Axiomas
Un axioma es una proposicin evidente por s misma y por lo tanto no necesita
demostracin.

Los axiomas y los conceptos primitivos son la base fundamental de la geometra.

Axiomas bsicos
1-

El espacio tiene infinitos puntos, rectas y planos.

2-

El plano tiene infinitos puntos y rectas.

3-

La recta tiene infinitos puntos.

4-

Por un punto pasan infinitas rectas.

5-

Por una recta pasan infinitos planos.

6-

Por dos puntos pasa una nica recta.

7-

Por tres puntos no alineados pasa un nico plano.

En este caso debemos aclarar que significa alineados. Tres puntos estn alineados si
pertenece a una misma recta.

8-

Si dos puntos pertenecen a un plano, la recta que pasa por esos dos puntos

tambin se encuentra en el mismo plano.

Conceptos Primitivos
El espacio es considerado como un conjunto, sus elementos son puntos y estos se
unen para formar las rectas y los planos, entre otras cosas. A estos cuatro conceptos;

espacio, punto, recta y plano; no los definiremos, aunque todos tenemos una idea de ellos y
conocemos objetos que los pueden representar, pero slo representar, ya que dichos
conceptos son ideales, es decir, existen nicamente en la mente humana.
Los puntos son fundamentales en la construccin del conocimiento geomtrico, no
tienen dimensin y cuando hablemos de ellos los nombraremos con letras en imprenta
mayscula. Una marca dejada con un lpiz fino es una de las mejores representaciones de
un punto.

Las rectas se representan con letras en imprenta minscula, y se corresponden con

lneas que no se doblan.

Los planos se representan con letras griegas y para representarlos podemos utilizar
diversas superficies planas, el piso de una habitacin, la superficie de una mesa, una hoja de
block, etc.

Axiomas de Conexin I
Axioma I 1
Dos puntos distintos A y B determinan una nica recta a. Escribiremos a=AB o a=BA.
Tambin usaremos otras formas de expresin, podemos decir que A yace sobre a, A
es un punto de a, a pasa por A y por B. Si A yace al mismo tiempo sobre otra recta b, diremos
que a y b tienen un punto en comn, A.
Axioma I 2
Dos puntos distintos determinan completamente una recta, esto significa que si a=AB
y a=AC, donde BC, entonces a=BC.
Axioma I 3
Tres puntos distintos que no estn en la misma recta, determinan completamente un
plano, escribiremos ABC=.
Emplearemos tambin las expresiones, A, B y C estn en , o A, B y C son puntos de
.
Axioma I- 4
Dados tres puntos distintos A, B y C de un plano , que no se encuentran sobre la
misma recta, determinan completamente ese plano.

Axioma I 5
Si dos puntos A y B de una recta a, estn en el plano , entonces todos los puntos de
a estn en el plano .
En ese caso diremos que la recta a, est en el plano .
Axioma I 6
Si dos planos y tienen un punto en comn, entonces tienen un segundo punto en
comn.
Axioma I- 7
En toda recta existen al menos dos puntos, en todo plano existen al menos tres puntos
que no estn en la misma recta, en el espacio existen al menos cuatro puntos no todos en el
mismo plano.
Los axiomas 1 y 2 estn relacionados con la geometra planas, sern llamados
axiomas del plano.
Los axiomas 3 a 7 sern llamados axiomas del espacio.
Teorema 1
Dos rectas en el plano tienen un punto en comn o no tiene puntos en comn; dos
planos no tienen puntos en comn o tienen en una recta en comn; una plano y una recta
que no est en el plano o no tienen puntos en comn o tienen un punto en comn.
Teorema 2
Dada una recta y punto que no est en ella, o dadas dos rectas que tienen en un
punto en comn, un nico plano puede pasar por ellos.
LOS ELEMENTOS DE LA GEOMETRA Y LOS 5 GRUPOS DE AXIOMAS
Existen puntos que los designaremos con las letras A, B, C,
Existen rectas que las designaremos con las letras a, b, c,

Existen planos que los designaremos con letras griegas , , ,

Los puntos s on los elementos de la geometra lineal, las rectas son los elementos de
la geometra plana y los puntos, las rectas y los planos son los elementos de la geometra del
espacio.
Estos puntos, rectas y planos tiene relaciones entre ellos, que indicaremos con
palabras como estn situados, entre, paralelas, congruentes, etc. Una completa
descripcin de ellos y de sus relaciones sern consecuencias de los axiomas de la
geometra. Estos axiomas pueden ser presentados en 5 grupos, cada grupo expresa por s
mismo relaciones fundamentales, hechos de nuestra intuicin.

I Axiomas de conexin (1 7)

II Axiomas de orden (1 5)

III Axioma de las paralelas (Axioma de Euclides)

IV Axiomas de congruencia (1 6)

V Axioma de continuidad (Axioma de Arqumedes)

CULES SON LOS 7 AXIOMAS DE LA GEOMETRA
Los axiomas son proposiciones o afirmaciones que relacionan conceptos los cuales
deben ser definidos en funcin al punto, la recta y el plano.
En los diferentes tipos de geometra sinttica se distinguen cuatro grupos de axiomas.
Un quinto grupo de axiomas (el axioma de paralelismo) es el que distinguir una geometra
de otra
Existencia e Incidencia
Son aquellos axiomas que nos dan las condiciones para asegurar la existencia de
puntos, rectas y planos y cmo inciden unos en otros.

Para determinar una recta, son necesarios dos puntos distintos. En cambio, para
determinar un plano son necesarios tres.
Si dos puntos de una recta estn en un plano, toda la recta est en el plano. Si dos
puntos de una recta estn en otra recta, ambas rectas coinciden (son la misma).
Ordenacin
Estos axiomas ayudan a que la recta quede determinada como lo que conocemos
como recta. Se dividen en:
Axioma de Ordenacin: Dados tres puntos distintos sobre una recta, uno est entre los
otros dos. Asegura que todo segmento sea divisible. Si seleccionamos un punto cualquiera
en una recta, el resto de los puntos de la recta quedan divididos en dos clases (los que estn
en un lado y los que estn en el otro).
Axioma de Pascho: Este axioma garantiza que una recta divide a los puntos del plano
en dos categoras (los que estn de un lado se considera un movimiento). Dado un tringulo
y una recta que no pasa por sus vrtices, o la recta es externa al tringulo, o pasa por dos de
los lados.
Solo existe un movimiento que transforma una semirrecta en otra y un semiplano
determinado por la misma en otro determinado por la otra.
Congruencia
Se definen los conceptos siguientes:
Segmento: Conjunto de puntos consecutivos limitados por otros dos puntos dentro de
una recta.
ngulo: Un punto y un par de semirrectas que parten de l.
Sobre estos dos conceptos se postula la existencia de una relacin de congruencia
que es el equivalente axiomtico de los movimientos. Bsicamente, dados dos segmentos o
dos ngulos, se acepta la existencia de un mtodo que permite decir si son congruentes o
no, basado en los siguientes postulados:
Todo segmento es congruente consigo mismo.

Si un segmento es congruente con uno dado, el dado es congruente con el primero.

Si dos segmentos son congruentes con un tercero son congruentes entre ellos.
Dados dos segmentos formando un ngulo, congruentes con otros dos que forman un ngulo
congruente, al unir los extremos sueltos para formar dos tringulos, los tres lados y los tres
ngulos sern congruentes
Continuidad
Axioma de Arqumedes: Se impone que un segmento pueda dividirse en dos
indefinidamente.
Axioma de la plenitud: Se impone que el conjunto de puntos de una lnea no pueda ser
ampliado mediante cierres (lmites de sucesiones).
Axiomas bsicos de geometra
Una axiomatizacin prctica la formul Euclides y consta de 5 postulados. Ms tarde,
con el advenimiento de la Teora de conjuntos, David Hilbert propuso unos axiomas (ms
formales)

para

la

Geometra

plana,

que

se

pueden

clasificar

como

sigue:

- Axiomas de incidencia: Relativos a si dos lugares se cortan o no

1-Para cada dos puntos distintos P y QUE existe una recta nica que pasa por(indice
en) ellos.
2-Para cada recta existen al menos dos puntos distintos incidentes con ella.
3-Existen tres puntos de forma que no hay ninguna lnea que pase por los tres. (es
decir, dimensin mnima = 2)
- Axiomas de orden (relativo al orden de los puntos dentro de una misma recta)
Se introduce el orden *, de forma que A*B*C se lee "B est entre A y C".
Denotar r(A,B) la recta determinada por A y B, si A=/=B (A distinto de B)
1-Si A*B*C, entonces A,B, y C son tres puntos distintos que estn en la misma recta y
adems C*A*B.
2- Dados dos puntos distintos B y D, existen tres puntos A, C, y E de r(B,D), de forma
que A*B*D, B*C*D, y B*D*E.

3-Dados tres puntos distintos sobre la misma recta, slo uno de ellos est entre los
otros dos. (orden total)
El siguiente axioma limita la dimensin a 2. Se define que dos puntos A y B estn a un
mismo lado de una recta r si A=B o r(A, B) no incide con r. Se dir que estn en lados
opuestos en caso contrario.
4-(Axioma de separacin de planos) Para toda recta r, y puntos A, B, y C cualesquiera,
que no estn sobre r:
(1) Si A y B estn al mismo lado de r, y B y C estn al mismo lado de r, entonces A y C
estn al mismo lado de r.
(2) Si A y B estn en lados opuestos de r, y B y C estn en lados opuestos de r,
entonces A y C estn en el mismo lado de r.
Este axioma es complicado, pero slo intenta decir que una recta bisecciona el
espacio (esto no sucede en 3D dada la definicin de "estar al mismo lado" dada arriba).
- Axiomas de congruencia (se refieren a la comparacin de objetos)
AB==CD significar que "los segmentos AB y CD tienen la misma longitud" (o que "AB
es congruente con CD"). Un segmento PQ, dados dos puntos distintos P y Q, es el conjunto
de puntos X, de forma que P*X*Q. Denotar por A->B (A=/=B) el rayo que va desde A hasta
B, es decir, el conjunto de puntos X tales que A*X*B o A*B*X.
C1-Si A y B son dos puntos distintos, y C un punto cualquiera, entonces para todo rayo
l que parte de C, existe un nico punto D en l tal que D=/=C y AB==CD.
C2-Si AB==CD y ED==CD , entonces AB==ED (transitiva). Adems todo punto es congruente
consigo mismo (reflexiva).
C3-Si A*B*C, A'*B'*C', AB==A'B', y BC==B'C', entonces AC==A'C'.
En el siguiente se usa el concepto de ngulo, que denotar por <ABC, para un ngulo
delimitado por los rayos B->A y B->C.
C4-Dado cualquier ngulo <ABC, y cualquier rayo A'->B, existe un nico rayo A'->C en
un lado dado de la recta r(A', B') tal que <BAC==<B'A'C'.
C5-Si dos ngulos <X e <Y son congruentes (tienen la misma apertura) a un tercero
<Z, entonces <X == <Y.

C6-(primer axioma sobre tringulos que, curiosamente, Euclides da como teorema) Si

dos lados de un tringulo T, que forman un ngulo <alfa, son iguales a dos lados de otro
tringulo T', que forman un ngulo <beta, y <alfa == <beta, entonces T == T' (ambos
tringulos son congruentes).
Definicin: dos tringulos son congruentes si sus lados son congruentes (los tres de
cada uno y de alguna forma) y sus ngulos tambin lo son.
Slo faltan los axiomas que Euclides no pudo concretar, por su dificultad:
- Axiomas de continuidad
-Axioma de Arqumedes. Nos dice que si tenemos un rayo y un punto de
AXIOMA DEL CONJUNTO VACO
En teora de conjuntos, el axioma del conjunto vaco es un axioma que postula la
existencia de un conjunto vaco, es decir, un conjunto sin elementos.
Enunciado
Axioma del conjunto vaco

Mediante el axioma de extensionalidad puede demostrarse que slo existe un conjunto

sin elementos (ya que un conjunto se define nicamente por estos), por lo que puede
hablarse con propiedad del conjunto vaco:

Consistencia relativa
El axioma del conjunto vaco (CV) es el nico axioma de la teora de conjuntos de
Zermelo-Fraenkel (ZF) y de la teora de Von Neumann-Bernays-Gdel (NBG) que postula
directamente la existencia de un conjunto, junto con el axioma del infinito. Precisamente este

ltimo hace innecesario CV, pues postula tambin la existencia de . En general, en

presencia de un axioma que postule la existencia de algn conjunto (como ocurre en lgica,
donde la existencia de al menos un objeto a veces est garantizada) CV se vuelve
redundante mediante el axioma de separacin: basta con construir un subconjunto cuyos
elementos cumplan una propiedad contradictoria.
AXIOMA DEL CONJUNTO POTENCIA
En teora de conjuntos, el axioma del conjunto potencia es un axioma que postula la
existencia del conjunto potencia de cualquier conjunto; es decir, del conjunto de todos los
subconjuntos de un conjunto dado.

Enunciado
El axioma del conjunto potencia afirma que dado un conjunto, existe otro que cuyos
elementos son exactamente los subconjuntos del inicial:

Axioma del conjunto potencia

De este modo se puede designar con propiedad el conjunto potencia de un conjunto

dado A:

Consistencia relativa
El axioma del conjunto potencia (CP) est en un estado similar al axioma del infinito:
no puede ser demostrado a partir del resto de axiomas de ZF (ni NBG), ya que su negacin
es consistente con ellos (siempre que estos sean consistentes a su vez). Para demostrar
esto se comprueba que existe un modelo de ZF en el que CP es falso. Este modelo es la

coleccin de todos los conjuntos hereditariamente numerables: conjuntos numerables

cuyos elementos son tambin conjuntos numerables, que a su vez tambin estn formados
por conjuntos numerables, etc. El segundo teorema de incompletitud de Gdel asegura
entonces que CP no es consecuencia del resto de axiomas de ZF, ya que constituira una
demostracin de la consistencia de estos.
AXIOMA DEL PAR
En teora de conjuntos, el axioma del par es un axioma que asegura la existencia de
un conjunto que contiene como elementos dos objetos cualesquiera dados previamente.
Enunciado
El axioma del par afirma que dados dos conjuntos (u otros objetos de la teora), existe
un conjunto con exactamente esos elementos. Su enunciado formal es:

Axioma del par

El axioma de extensionalidad asegura que este conjunto es nico, por lo que se

demuestra la existencia del conjunto {A, B}, definido como:

Consistencia relativa
El axioma del par aparece en los axiomas de la teora de conjuntos de ZermeloFraenkel y de la teora de Neumann-Bernays-Gdel. Sin embargo, es demostrable a partir
del resto de axiomas, en particular del axioma de reemplazo junto con el axioma del conjunto
potencia y el axioma del conjunto vaco, por ejemplo.
AXIOMA DE UNIN

En teora de conjuntos, el axioma de unin es un axioma que postula que la unin de

una coleccin de conjuntos cualesquiera existe.
Enunciado
El axioma de unin afirma sencillamente que la unin de una familia de conjuntos el
conjunto que contiene todos los elementos de cada conjunto de la familia existe:

Axioma de unin

En palabras: para cada conjunto A existe otro, X, compuesto exactamente por los
elementos de los elementos de A. Esto permite hablar con propiedad de la unin de un
conjunto la unin de todos sus elementos:

La unin de dos conjuntos o un nmero finito cualquiera es un caso particular de

esta construccin:

y, adoptando el axioma del par, existe siempre.

Consistencia relativa
El axioma de unin (AU) es completamente independiente del resto de axiomas de
Zermelo-Fraenkel (ZF). En la gran mayora de los modelos de ZF que se construyen AU es
cierto, por lo que es consistente con el resto de axiomas. Por otro lado, existen modelos de
ZFC (incluyendo el axioma de eleccin) en los que el axioma de unin es falso, por lo que no
puede demostrarse del resto de ZFC (ni del resto ZF en particular).
AXIOMA DE EXTENSIONALIDAD

En teora de conjuntos, el axioma de extensionalidad es un axioma que establece que

dos conjuntos son iguales si y slo si tienen los mismos elementos.
Enunciado
El enunciado del axioma establece que si dos conjuntos tienen los mismos elementos
entonces son idnticos:

Axioma de extensionalidad

La afirmacin recproca dos conjuntos iguales tienen los mismos elementos es un

teorema lgico. Un enunciado equivalente, utilizando la nocin de subconjunto, es:

Dados dos conjuntos, A y B, tales que cada uno es subconjunto del otro, A B y B
A, entonces son iguales, A = B.
El axioma de extensionalidad constituye la definicin fundamental del concepto de
conjunto como una coleccin abstracta de objetos. El axioma de extensionalidad asegura
que los elementos x de un conjunto A son lo nico que lo define, es decir, los objetos que
estn relacionados con l por la relacin de pertenencia, x A. Esto constrasta con otras
relaciones como por ejemplo, ser un divisor primo: los nicos divisores primos de 6 y de 12
son 2 y 3, pero ambos nmeros son distintos, 6 12.
Consistencia relativa
El axioma de extensionalidad (Ex) es completamente independiente del resto de
axiomas de Zermelo-Fraenkel (ZF). La prctica totalidad de los modelos que se construyen
para ZF incluyen Ex, luego es consistente con el resto de axiomas. Por otro lado, a partir del
modelo de los conjuntos hereditariamente finitos puede construirse otro donde conjuntos con
los mismos elementos no sean idnticos pero respetando el resto de axiomas, por lo que Ex
no es derivable de estos

AXIOMA DE ELECCIN DEPENDIENTE

El axioma de eleccin dependiente es una forma ms dbil del axioma de eleccin,
que permite construir la mayor parte de las matemticas, mientras se evitan problemas tales
como la paradoja de Banach-Tarski, en contraste, algunas demostraciones tales como el
teorema general de Tychonoff no son posibles (dado que tal teorema, por ejemplo, es
equivalente al axioma de eleccin).
Enunciado formal
Para cuales sean conjuntos A y la relacin binaria

AXIOMA DEL INFINITO

En teora de conjuntos, el axioma del infinito es un axioma que garantiza la existencia
de un conjunto con un nmero infinito de elementos.
Enunciado
El axioma del infinito asegura la existencia de un conjunto infinito en el sentido de
Dedekind: un conjunto que puede ponerse en correspondencia biyectiva con un subconjunto
propio de s mismo. El enunciado ms habitual se basa en propiedad equivalente del
conjunto inductivo:

Axioma del infinito

Es decir, se postula la existencia de un conjunto inductivo, es decir, que contiene al

conjunto vaco, y al sucesor x {x} de cada uno de sus elementos x. De este modo se

asegura la existencia de un conjunto que contiene a los nmeros naturales en la construccin

conjuntista habitual:

Independencia
El axioma del infinito (AI) no puede demostrarse a partir del resto de axiomas de la
teora de Zermelo-Fraenkel (ZF), si estos son consistentes denotados en conjunto como
ZFAI.1 Puede probarse que todos ellos son ciertos al restringirse a un universo de
conjuntos finitos escogidos con cuidado (los conjuntos hereditariamente finitos). Es decir, los
axiomas de ZF incluyendo AI demuestran la existencia de un modelo para ZFAI+AI
ZF sustituyendo AI por su negacin. Por lo tanto, una demostracin de AI a partir de ZFAI
dara lugar a una demostracin de la consistencia de ZFAI, en contradiccin con el segundo
teorema de incompletitud de Gdel. La situacin es idntica en la teora de conjuntos de Von
Neumann-Bernays-Gdel.