El método axiomático y los cimientos de la verdad matemática

La idea fundamental del método axiomático consiste en partir de un conjunto de enunciados, denominados axiomas, y obtener, a partir de ellos, otros enunciados, llamados teoremas, mediante demostraciones. Una ciencia demostrativa, en su concepción clásica, se refiere a un dominio determinado de objetos y está constituida por enunciados verdaderos, organizados de manera que sus resultados se obtienen deductivamente a partir de ciertos principios fundamentales. Para ello, debe contar con términos primitivos, a partir de los cuales puedan definirse los restantes, y con un conjunto de principios cuya verdad no requiere demostración dentro de la propia ciencia, y desde los cuales se deducen los demás enunciados mediante inferencias lógicas. Esta concepción refleja una determinada visión del método axiomático, en la que los axiomas y los conceptos primitivos están vinculados, desde el comienzo, con el dominio de conocimiento que se pretende estudiar.

Aunque los orígenes del método axiomático no están claramente establecidos, la tradición occidental suele situarlos en la antigua Grecia. Se ha atribuido a Tales de Mileto un papel precursor en la introducción de la exigencia de demostraciones, al que siguieron las contribuciones de los pitagóricos, de Hipócrates de Quíos, de Eudoxo de Cnido y de Platón. Sin embargo, no existe consenso histórico sobre quién introdujo propiamente el método axiomático. En particular, los argumentos dialécticos presentes en los diálogos platónicos no constituyen, por sí mismos, sistemas axiomáticos.

Hacia la segunda mitad del siglo V a. C., probablemente alrededor de 440-430 a. C., Hipócrates de Quíos escribió una obra titulada Elementos. Considerada uno de los primeros intentos conocidos de organizar sistemáticamente los conocimientos geométricos, esta obra reunía proposiciones y demostraciones relativas, principalmente, a la geometría plana. Aunque no se conserva el texto original, su existencia y parte de su contenido se conocen a través de referencias de autores posteriores. En ella se aprecia ya una preocupación por establecer resultados a partir de otros previamente demostrados, lo que constituye un antecedente significativo de la organización axiomático-deductiva de la geometría.

Una de las primeras formulaciones sistemáticas de la ciencia demostrativa se encuentra en los Analíticos segundos (Analytikà Hýstera, Ἀναλυτικὰ Ὕστερα) de Aristóteles, escritos aproximadamente entre 350 y 330 a. C. Esta obra forma parte del conjunto de sus escritos lógicos conocido como el Órganon. En ella, Aristóteles desarrolla una teoría de la ciencia demostrativa que puede sintetizarse en las siguientes ideas:

1. El conocimiento científico requiere demostración. No basta con afirmar que una proposición es verdadera; es necesario justificarla mediante un razonamiento lógico que permita comprender por qué es verdadera.
2. Las demostraciones parten de principios fundamentales. No es posible demostrar todas las afirmaciones, pues ello conduciría a un regreso infinito. Por esta razón, toda ciencia debe partir de ciertos principios primeros que no se demuestran dentro de esa misma ciencia.
3. Las demostraciones tienen una estructura deductiva. A partir de los principios fundamentales se obtienen otras proposiciones mediante razonamientos lógicos, principalmente silogismos.
4. La ciencia busca conocer las causas. Para Aristóteles, el conocimiento científico no consiste únicamente en saber que algo sucede, sino también en comprender por qué sucede y cuáles son sus causas. En este sentido, la demostración científica debe proporcionar una explicación de los hechos.

El ejemplo más representativo de la construcción de un sistema matemático axiomático-deductivo lo constituyen los Elementos de Euclides, escritos hacia el 300 a. C. Esta obra representa un hito fundamental en la formación del pensamiento matemático deductivo. En ella, los conocimientos geométricos acumulados por generaciones anteriores, entre ellas las contribuciones de Hipócrates de Quíos, se organizan en un sistema deductivo estructurado a partir de definiciones, postulados y nociones comunes. Su importancia no reside únicamente en la recopilación y sistematización de los conocimientos geométricos de la Antigüedad, sino, fundamentalmente, en la consolidación de un modelo de construcción del conocimiento basado en el método axiomático y la deducción lógica. Durante más de dos mil años, Elementos  ejerció una influencia decisiva en la enseñanza y el desarrollo de las matemáticas, convirtiéndose en paradigma del rigor y de la organización racional del conocimiento científico.

Albert Einstein, en su ensayo *On the Method of Theoretical Physics*, recogido posteriormente en *Essays in Science* (1934), expresó su admiración por la geometría euclidiana con estas palabras:

"Reverenciamos a la antigua Grecia como la cuna de la ciencia occidental. Allí contempló el mundo por primera vez el milagro de un sistema lógico que avanzaba, paso a paso, con tal precisión que cada una de sus proposiciones resultaba absolutamente indudable: me refiero a la geometría de Euclides. Este admirable triunfo del razonamiento proporcionó al intelecto humano la confianza en sí mismo necesaria para sus posteriores conquistas. Si Euclides no logró encender tu entusiasmo juvenil, entonces no has nacido para ser un pensador científico"

El método axiomático en el siglo XIX

Hasta el siglo XIX, los sistemas axiomáticos se concebían como teorías estrechamente vinculadas a una interpretación concreta del mundo real. Sin embargo, la resolución de un problema milenario abrió el camino hacia una profunda revolución conceptual: el Quinto Postulado de Euclides —aquel que afirma que por un punto exterior a una recta solo pasa una paralela— siempre había sido el eslabón menos intuitivo de la geometría clásica. Durante más de dos milenios, los matemáticos intentaron deducirlo en vano a partir de los cuatro postulados iniciales.La ruptura llegó en el siglo XIX de la mano de Carl Friedrich Gauss, Nikolái Lobachevski y János Bolyai, quienes desafiaron la verdad irrefutable de dicho postulado e imaginaron universos donde pueden existir infinitas paralelas. Más tarde, Bernhard Riemann completó este marco al desarrollar un modelo donde no existe ninguna paralela. Nacían así las geometrías no euclidianas.

El hallazgo transformó por completo el método axiomático. Demostró que los axiomas no eran «verdades absolutas ni evidencias sagradas dictadas por la naturaleza», sino premisas formales e hipotéticas cuya validez reside en su coherencia interna y no en su parecido con la realidad sensible. Esta idea ya había sido anticipada por el matemático portugués José Anastácio da Cunha, quien defendía la libertad de establecer principios hipotéticos a condición de que las conclusiones se dedujeran de ellos con riguroso orden lógico.

A medida que la perspectiva formal se consolidaba hacia el siglo XX, un episodio clave reflejó este cambio de paradigma: el debate entre Gottlob Frege y David Hilbert sobre la naturaleza de los conceptos primitivos. Para Frege, siguiendo a Euclides, los conceptos primitivos debían conservar un significado intuitivo y específico, directamente vinculado al dominio que se intentaba axiomatizar. Hilbert, por el contrario, argumentaba que lo esencial no era el significado intrínseco de los términos, sino las relaciones lógicas que los axiomas establecían entre ellos. Según su famosa máxima, las palabras «punto», «recta» y «plano» podían sustituirse por «mesa», «silla» y «jarra de cerveza» sin alterar la validez del sistema, siempre que se mantuvieran las relaciones formales.

Gottlob Frege (1848 -1925) y David Hilbert (1862 -1943)

Con la postura de Hilbert, el interés matemático se desplazó definitivamente desde el contenido intuitivo de los conceptos hacia la arquitectura de sus relaciones. De este modo, un mismo sistema axiomático podía admitir múltiples interpretaciones y describir estructuras radicalmente distintas de la que motivó su creación. En tal sentido, entre finales del siglo XIX y principios del XX, figuras como Peano, Russell y el propio Hilbert buscaron axiomatizar la totalidad de las matemáticas con el fin de eliminar cualquier ambigüedad o contradicción.

Este cambio impulsó la evolución de la disciplina: de una matemática centrada tradicionalmente en el cálculo de números, funciones y espacio empírico, a una ciencia orientada a la caracterización de estructuras abstractas. Hitos como la teoría de variedades de Riemann, la teoría de grupos nacida de los trabajos de Évariste Galois y la corriente estructuralista promovida por el grupo Bourbaki (junto al propio Hilbert) redefinieron el objetivo de la axiomatización. Su fin no era ya deducir propiedades de un caso particular, sino caracterizar clases enteras de estructuras mediante sus modelos, estudiando todas sus posibles realizaciones.

Así, el sistema axiomático pasó de ser una mera guía deductiva a convertirse en un objeto de estudio metateórico en sí mismo. La investigación matemática comenzó a analizar la independencia de los axiomas, la clasificación de modelos y los teoremas de representación.

Gödel y la redefinición de la Verdad Matemática

Durante el siglo XX, la abstracción axiomática trascendió las fronteras de la geometría y la matemática pura para convertirse en una herramienta metodológica transversal. Destacan los trabajos de J. R. Woodger en la construcción de un cálculo formal aplicado a la biología, así como las propuestas para axiomatizar la teoría sintética de la evolución. De forma paralela, se desarrollaron aplicaciones en la teoría del aprendizaje y los modelos de conducta en psicología, mientras que en la física y las ciencias naturales permitió caracterizar sistemas compatibles con leyes fundamentales y predecir sus consecuencias sin recurrir directamente a la experimentación.

De este modo, el método axiomático dejó de ser un simple repertorio de verdades estáticas para erigirse en la herramienta suprema de abstracción: un lenguaje capaz de estructurar el conocimiento y crear universos lógicos coherentes en prácticamente cualquier campo de la ciencia moderna.

Para que un sistema formal sea considerado conceptualmente sólido, la lógica matemática exige que su conjunto de axiomas se cimenté sobre tres pilares fundamentales: la consistencia, que garantiza que no puedan demostrarse simultáneamente una afirmación y su contraria dentro del mismo sistema; la independencia, la cual asegura que ningún axioma sea redundante ni pueda deducirse a partir de los demás; y la completitud, la meta ideal según la cual toda proposición válida formulada en el sistema debe poder ser demostrada de forma irrefutable como verdadera o falsa.

Kurt Gödel (1906–1978)

No obstante, la búsqueda de un sistema formal definitivo alcanzó su punto de inflexión en 1931 a través de la llamada paradoja de la «Verdad Matemática». A principios del siglo XX, la comunidad científica confiaba en que las matemáticas constituían un edificio absolutamente completo, consistente y autosostenible. Sin embargo, el lógico Kurt Gödel sacudió los cimientos del pensamiento formal al demostrar sus célebres Teoremas de Incompletitud.

En su Primer Teorema, Gödel probó que en cualquier sistema axiomático lo suficientemente complejo como para incluir la aritmética elemental existen afirmaciones que son verdaderas pero que resultan imposibles de demostrar dentro del propio sistema. A esto se sumó su Segundo Teorema, el cual establece que un sistema axiomático tampoco puede demostrar su propia consistencia por sus propios medios.

La consecuencia fundamental de este hallazgo es tan profunda como reveladora: la verdad matemática no se puede reducir por completo a un mecanismo deductivo cerrado. Lejos de invalidar el método axiomático, el trabajo de Gödel demostró que la matemática es una disciplina viva e inagotable, donde siempre habrá verdades fundamentales que escapan al alcance de un conjunto finito de axiomas.

En la actualidad, el propósito del método axiomático consiste en brindar la estructura formal necesaria para garantizar el rigor y la solidez del conocimiento científico. Más que un reflejo de la realidad, la axiomatización es la gramática de la abstracción: una herramienta lógica que nos permite construir modelos coherentes, verificar teoremas complejos mediante sistemas informáticos y delimitar con precisión el alcance de nuestras teorías.

---

Lecturas complementarias: 

• Kurt Gödel: el Príncipe de las Tinieblas de las Matemáticas.
• Lógica Matemática. El álgebra del pensamiento.
• Elementos de Euclides.

---

Los números TRANSFINITOS y la hipótesis del continuo.

Desde la Antigüedad, el infinito ha ocupado un lugar especial en el pensamiento humano. Para nuestra intuición, parece representar aquello que nunca termina, aquello que no puede recorrerse por completo ni encerrarse dentro de unos límites. Los números naturales, por ejemplo, no tienen un último elemento: por grande que sea un número, siempre podemos añadirle una unidad y obtener otro mayor. Aunque el infinito se utilizaba en razonamientos sobre sucesiones, límites y geometría, resultaba difícil tratarlo como un objeto matemático susceptible de comparación y clasificación. Sin embargo, durante siglos, los matemáticos contemplaron el infinito con una mezcla de fascinación y perplejidad, tal como refleja una conocida frase de David Hilbert en su ensayo Über das Unendliche (Sobre el infinito), publicado en 1926:

¡El infinito! Ninguna otra cuestión ha conmovido tan profundamente el espíritu humano; ninguna otra idea ha estimulado tan fructíferamente su intelecto y, sin embargo, ningún otro concepto necesita tanto ser aclarado.

Georg Cantor (1845-1918)

Fue en el siglo XIX cuando Georg Cantor emprendió una de las transformaciones conceptuales más profundas de la historia de las matemáticas: demostrar que el infinito podía estudiarse rigurosamente y que no existía una única manera de ser infinito.

La idea decisiva consistió en preguntarse cómo comparar el tamaño de dos conjuntos. Cuando los conjuntos son finitos, el procedimiento parece evidente: contamos sus elementos. Pero ¿qué sucede cuando contienen infinitos elementos? No podemos terminar de contarlos uno a uno, de modo que necesitamos otro criterio.

En este artículo adoptaremos la convención de que los números naturales comienzan en \(1\), es decir, \(\mathbb{N}=\{1,2,3,\ldots\}\). Decimos que un conjunto \(A\) tiene cardinal \(n\in\mathbb{N}\), si existe una correspondencia biunívoca entre \(A\) y el conjunto \(\{1,2,\ldots,n\}\). En ese caso, \(A\) tiene exactamente \(n\) elementos. El cardinal de un conjunto finito se denota por \(\operatorname{Card}(A)\) o, de forma equivalente, por \(|A|\). Para los conjuntos infinitos, la misma idea de correspondencia permite comparar sus tamaños sin necesidad de contar sus elementos uno a uno. Esa fue la propuesta de Cantor para comparar dos conjuntos infinitos. Si cada elemento de uno puede emparejarse con uno y solo uno del otro, sin que sobre ningún elemento en ninguno de los dos conjuntos, ambos tienen el mismo cardinal, es decir, el mismo tamaño en sentido matemático. Esta idea, aparentemente sencilla, conduce a una conclusión sorprendente: los números naturales y los números pares positivos tienen el mismo cardinal. Podemos emparejarlos mediante la regla que asigna a cada número natural su doble:

\[ \begin{array}{cccccc} 1 & 2 & 3 & 4 & 5 & \cdots\\ \downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \\ 2 & 4 & 6 & 8 & 10 & \cdots \end{array} \]

Aunque los números pares positivos constituyen una parte propia de los números naturales, ambos conjuntos tienen el mismo tamaño infinito. Denotamos este cardinal por \(\aleph_0\), que se lee «álef cero»; álef es la primera letra del alfabeto hebreo. Este cardinal es el menor de los cardinales infinitos y se denomina también cardinal transfinito.

Cantor llamó numerables a los conjuntos que pueden ponerse en correspondencia biunívoca con los números naturales. Son numerables los números enteros y también los números racionales, es decir, aquellos que pueden expresarse como el cociente de dos enteros, con denominador distinto de cero. Aunque entre dos números racionales distintos siempre existe otro número racional —y, de hecho, existen infinitos—, todos los números racionales pueden organizarse en una lista infinita en la que cada uno aparezca en alguna posición. 

Por sorprendente que parezca, esto significa que el conjunto de los números racionales tiene el mismo cardinal que el conjunto de los números naturales: \(\aleph_0\). Por sorprendente que parezca, esto significa que el conjunto de los números racionales tiene el mismo cardinal que el conjunto de los números naturales, es decir, \(\aleph_0\). Este fue uno de los primeros resultados obtenidos por Cantor. A continuación, presentamos una demostración intuitiva de la numerabilidad de los números racionales positivos, basada en una idea de Cantor.

Denotemos por \(\mathbb{Q}_+\) el conjunto de todos los números racionales positivos:\(\mathbb{Q}_+=\left\{\frac{p}{q}:p,q\in\mathbb{N}\right\}\). Para organizar estos números, consideremos la suma \(h=p+q\) y agrupemos las fracciones según el valor de \(h\), escribiendo únicamente aquellas que están irreducibles, es decir, cuyo numerador y denominador no tienen divisores comunes distintos de \(1\).

Para \(h=2\), solo tenemos el número racional \(\frac{1}{1}=1\). Para \(h=3\), obtenemos \(\frac{1}{2}\) y \(\frac{2}{1}=2\). Para \(h=4\), aparecen \(\frac{1}{3}\) y \(\frac{3}{1}=3\), ya que \(\frac{2}{2}=1\) representa un número que ya hemos incluido. Para \(h=5\), obtenemos las fracciones \(\frac{1}{4}\), \(\frac{2}{3}\), \(\frac{3}{2}\) y \(\frac{4}{1}=4\). Para \(h=6\), aparecen \(\frac{1}{5}\), \(\frac{5}{1}=5\) y las fracciones \(\frac{2}{4}\) y \(\frac{4}{2}\) quedan excluidas porque no están irreducibles y representan números ya considerados.

Continuando de este modo, obtenemos una lista en la que aparecen todos los números racionales positivos, sin repetir ninguno. Como cada grupo correspondiente a un valor fijo de \(h\) contiene un número finito de fracciones, podemos recorrer los grupos sucesivamente y asignar a cada racional positivo una posición en la lista. Por tanto, \(\mathbb{Q}_+\) es numerable. El siguiente gráfico ilustra el razonamiento anterior:

En la pirámide roja, el número racional p/q está representado por el par ordenado  (p,q). La correspondencia biunívoca entre ambas pirámides es obvia. 

El cardinal de los números reales

Cantor con \(\approx 25\) años

Los números reales incluyen tanto los racionales como los irracionales, como \(\sqrt{2}\), \(\pi\) o \(e\). Constituyen el sistema numérico con el que representamos los puntos de la recta real y trabajamos en buena parte del análisis matemático. A primera vista, podría parecer que también sería posible organizar todos los números reales en una lista: primero uno, después otro, y así sucesivamente. Sin embargo, Georg Cantor demostró que esto es imposible. Este resultado condujo a uno de los grandes descubrimientos de la teoría de conjuntos: "no todos los conjuntos infinitos son numerables". Su célebre argumento diagonal demuestra que, por muy completa que parezca una lista de números reales comprendidos entre cero y uno, siempre es posible construir otro número real que no figure en ella. La idea consiste en modificar la primera cifra decimal del primer número, la segunda del segundo, la tercera del tercero, y así sucesivamente, de modo que cada cifra del nuevo número sea diferente de la cifra correspondiente del número situado en esa posición de la lista. De esta manera, el número construido se diferencia de cada número de la lista en, al menos, una cifra decimal. En efecto, supongamos, por reducción al absurdo, que todos los números reales comprendidos entre cero y uno pueden ponerse en correspondencia biunívoca con los números naturales, de modo que formen una lista como la siguiente: \[ \begin{array}{rcl} 1 &\leftrightarrow& 0,a_{1,1}a_{1,2}a_{1,3}a_{1,4}\cdots\\ 2 &\leftrightarrow& 0,a_{2,1}a_{2,2}a_{2,3}a_{2,4}\cdots\\ 3 &\leftrightarrow& 0,a_{3,1}a_{3,2}a_{3,3}a_{3,4}\cdots\\ \vdots &\leftrightarrow& \vdots\\ n &\leftrightarrow& 0,a_{n,1}a_{n,2}a_{n,3}a_{n,4}\cdots\\ \vdots &\leftrightarrow& \vdots \end{array} \] Construyamos ahora un número real \(b=0,b_1b_2b_3\cdots b_n\cdots\), eligiendo cada cifra decimal \(b_k\) de manera que sea distinta de \(a_{k,k}\), es decir, de la cifra que ocupa la posición \(k\) en el \(k\)-ésimo número de la lista. Por ejemplo, podemos definir \[ b_k= \begin{cases} 1, & \text{si } a_{k,k}\neq 1,\\ 2, & \text{si } a_{k,k}=1. \end{cases} \] Así, cada cifra \(b_k\) es distinta de la correspondiente cifra diagonal \(a_{k,k}\). Por tanto, el número \(b\) no puede coincidir con el primero de la lista, porque difiere de él en la primera cifra decimal; tampoco con el segundo, porque difiere de él en la segunda cifra, ni con el tercero, porque difiere de él en la tercera, y así sucesivamente. En consecuencia, \(b\) no aparece en la lista, lo que contradice nuestra suposición de que esta contenía todos los números reales comprendidos entre cero y uno. Concluimos, por tanto, que  "los números reales comprendidos entre cero y uno no son numerables". En particular, el conjunto de los números reales es no numerable y, por ello, tiene una cardinalidad estrictamente mayor que la del conjunto de los números naturales.

El cardinal del conjunto de los números reales se suele denotar por \(\mathfrak{c}\) y viene dado por \(\qquad \mathfrak{c}=|\mathbb{R}|=2^{\aleph_0}.\)

La última igualdad se debe a que el conjunto de los números reales tiene el mismo cardinal que el conjunto de todos los subconjuntos de los números naturales, es decir, el conjunto potencia \(\mathcal{P}(\mathbb{N})\). En efecto, cada subconjunto de \(\mathbb{N}\) puede identificarse con una sucesión infinita de ceros y unos, y el conjunto de estas sucesiones tiene el mismo cardinal que \(\mathbb{R}\). Así, el tamaño de la recta continua queda relacionado con una operación fundamental de la teoría de conjuntos: formar el conjunto de todas las partes de un conjunto dado.

La desigualdad \(\aleph_0 < \mathfrak{c}\) nos obliga a abandonar la idea de que el infinito tiene un único tamaño. Existen conjuntos infinitos de cardinalidades diferentes, y el estudio de estos tamaños constituye uno de los temas fundamentales de la teoría de conjuntos.

Números transfinitos

Cantor y su esposa  Vally Guttmann en 1874

Cantor desarrolló dos conceptos relacionados, pero distintos: los números cardinales (a los que dedicamos este artículo) y los números ordinales. La palabra transfinito, utilizada por Cantor, expresa precisamente que estos números van más allá de lo finito sin constituir un infinito absoluto e indiferenciado. Permiten comparar tamaños infinitos y estudiar órdenes que no terminan nunca.

Los cardinales responden a la pregunta «¿cuántos elementos tiene un conjunto?». Los ordinales, en cambio, describen el orden de sus elementos: primero, segundo, tercero y así sucesivamente. En el caso finito, ambas ideas parecen casi inseparables, pero en el infinito muestran propiedades diferentes. El primer cardinal infinito es \(\aleph_0\), el tamaño de los números naturales. Después aparecen otros cardinales infinitos, como \(\aleph_1\), \(\aleph_2\) y, en general, \(\aleph_\alpha\), donde el índice puede ser también un ordinal transfinito.

Los ordinales ofrecen ejemplos especialmente llamativos. El primer ordinal infinito se representa mediante \(\omega\). Después de todos los naturales, podemos considerar un orden que añade un elemento nuevo al final: su tipo de orden es \(\omega+1\). También podemos formar \(\omega+2\), y así sucesivamente.

Estas expresiones no deben confundirse con las operaciones aritméticas habituales. La suma ordinal depende del orden de los elementos y, por ello, no siempre es conmutativa: \( 1+\omega=\omega, \qquad \omega+1>\omega. \)

La diferencia se entiende intuitivamente si pensamos en una sucesión interminable de posiciones. Añadir una posición al principio puede dejar el mismo tipo de orden que antes; añadirla al final produce, en cambio, un orden con un último elemento.

Los números transfinitos no son, por tanto, una curiosidad puramente simbólica. Proporcionan herramientas para estudiar la estructura de los conjuntos infinitos, las sucesiones, los órdenes y los fundamentos de las matemáticas.

La hipótesis del continuo

La existencia de infinitos cardinales cada vez mayores se explica mediante un resultado fundamental de la teoría de conjuntos: el teorema de Cantor establece que el conjunto potencia de cualquier conjunto tiene un cardinal estrictamente mayor que el del conjunto original. Así, si partimos de los números naturales, cuyo cardinal es \(\aleph_0\), obtenemos el conjunto de sus partes, \(\mathcal{P}(\mathbb{N})\), cuyo cardinal es \(2^{\aleph_0}=\mathfrak{c}\). Si repetimos este proceso, podemos construir conjuntos de cardinalidades cada vez mayores, sin alcanzar nunca un último infinito. Entre los cardinales transfinitos, uno de los casos más interesantes es la relación entre los dos primeros cardinales infinitos, \(\aleph_0\) y \(\aleph_1\), y la cardinalidad del continuo, \(\mathfrak{c}\).

Una vez demostrado que existen infinitos de tamaños distintos, surge una pregunta natural: ¿hay algún cardinal infinito entre el de los números naturales y el de los números reales? El cardinal de los naturales es \(\aleph_0\), mientras que el de los reales es \(\mathfrak{c}\). Como Cantor probó que \(\mathfrak{c}>\aleph_0\), sabemos que son distintos. Pero ¿existe algún conjunto cuyo cardinal sea estrictamente mayor que \(\aleph_0\) y estrictamente menor que \(\mathfrak{c}\)?

La hipótesis del continuo, abreviada habitualmente como HC, afirma que no existe tal cardinal. En su formulación habitual, sostiene que el cardinal del continuo es el siguiente cardinal infinito después de \(\aleph_0\); es decir,

Aquí, \(\aleph_1\) es el menor cardinal infinito estrictamente mayor que \(\aleph_0\). La hipótesis no dice que los reales sean numerables; afirma justamente que su cardinal es el siguiente cardinal infinito después del de los naturales. El nombre procede de la idea de continuo asociada a la recta real. Esta recta contiene infinitos puntos, y entre dos puntos distintos siempre hay otros puntos. Sin embargo, la densidad de los puntos no determina por sí sola su cardinal: los racionales también son densos en la recta, pero forman un conjunto numerable, mientras que los reales no lo son. La hipótesis del continuo pregunta, en definitiva, si hay un tamaño infinito intermedio entre el de los números naturales y el de la recta real.

Cantor formuló la hipótesis del continuo en el siglo XIX y trató de determinar si era verdadera. El problema adquirió una importancia especial porque afectaba a la estructura misma de los cardinales infinitos y al alcance de los métodos de la teoría de conjuntos.

•  Durante décadas, la cuestión permaneció abierta. En 1940, Kurt Gödel demostró que, si los axiomas habituales de la teoría de conjuntos son consistentes, también lo es su combinación con la hipótesis del continuo. En términos generales, esto significa que dichos axiomas no pueden refutar la hipótesis del continuo, suponiendo que sean consistentes.
• En 1963, Paul Cohen obtuvo el resultado complementario mediante la técnica del  forcing. Demostró que, si los axiomas de Zermelo--Fraenkel con el axioma de elección (conocidos como ZFC) son consistentes, también lo es su combinación con la negación de la hipótesis del continuo. 

  

  Kurt Gödel (906–1978) y Paul Cohen (1934–2007)

Los axiomas de Zermelo-Fraenkel con el axioma de elección (ZFC) constituyen el sistema de fundamentos más utilizado en la teoría de conjuntos moderna. Establecen las reglas básicas para trabajar rigurosamente con conjuntos, incluido el axioma de elección, que permite seleccionar un elemento de cada conjunto de una familia de conjuntos no vacíos. Sin embargo, no permiten decidir todas las cuestiones matemáticas, como demuestra la independencia de la hipótesis del continuo. 

En consecuencia, si ZFC es consistente, la hipótesis del continuo es independiente de esos axiomas: no puede demostrarse ni refutarse a partir de ellos. Este resultado no significa que la hipótesis sea simultáneamente verdadera y falsa dentro de una misma interpretación matemática. Significa que los axiomas considerados no determinan por sí solos su respuesta. Existen modelos de la teoría de conjuntos en los que la hipótesis se cumple y otros en los que no se cumple.

La independencia de la hipótesis del continuo ilustra un hecho profundo: incluso en matemáticas puede haber preguntas que no es posible resolver a partir de un sistema de axiomas determinado. En estos casos, la cuestión no es que el problema carezca de solución, sino que ni él ni su negación pueden demostrarse dentro del sistema. Esta situación recuerda a la del postulado de las paralelas de Euclides, cuya independencia permitió desarrollar geometrías distintas. En el caso de la hipótesis del continuo, los resultados de Kurt Gödel y Paul Cohen demostraron que, si los axiomas de Zermelo-Fraenkel con el axioma de elección (ZFC) son consistentes, ni la hipótesis ni su negación pueden demostrarse a partir de ellos. Este resultado plantea una cuestión fundamental: ¿hasta qué punto los axiomas determinan nuestra concepción de los conjuntos infinitos?

David Hilbert (1862–1943)

El trabajo de Georg Cantor revolucionó las matemáticas al demostrar que existen distintos tamaños de infinito: los números naturales y los racionales tienen la misma cardinalidad, mientras que los reales constituyen un infinito estrictamente mayor. Sus ideas encontraron una fuerte resistencia, especialmente por parte de Leopold Kronecker, defensor de una concepción más restrictiva de las matemáticas. A este último se atribuye la célebre frase «Dios creó los números enteros; todo lo demás es obra del hombre», que expresa su preferencia por una matemática fundada en objetos aritméticos más concretos. Frente a estas críticas, David Hilbert defendió la teoría de Cantor y, en 1900, incluyó la hipótesis del continuo entre sus 23 problemas para el nuevo siglo. La cuestión consistía en determinar si existe algún cardinal infinito estrictamente comprendido entre el de los números naturales y el de los números reales.

Un testimonio especialmente significativo de la defensa de esta teoría por parte de Hilbert es su célebre afirmación, pronunciada en 1925 y posteriormente difundida en la literatura matemática:

«Nadie podrá expulsarnos del paraíso que Cantor ha creado para nosotros».

El paraíso matemático de Cantor no solo amplió nuestra comprensión del infinito, sino que abrió interrogantes profundos sobre la naturaleza de los objetos matemáticos y los límites de los sistemas axiomáticos. Más de un siglo después de que Hilbert planteara el problema, la hipótesis del continuo sigue siendo uno de los ejemplos más fascinantes de cómo las matemáticas pueden revelar sus propios límites.

---

Lecturas complementarias: 

• Infinito potencial vs. infinito actual.
• El Hotel de Hilbert. 

---