La controversia en torno al último axioma de la teoría de conjuntos de Zermelo-Fraenkel ha dejado una profunda huella en la historia de las matemáticas, mostrando que el camino hacia el consenso en la comunidad matemática no siempre es lineal. Durante el siglo XIX, los matemáticos se enfrentaron a un mar de paradojas al intentar unificar distintas corrientes matemáticas bajo un mismo marco teórico. Este esfuerzo por establecer un conjunto de principios fundamentales que fueran universalmente aceptados resultó en la aparición de inquietantes contradicciones, como las planteadas por la famosa paradoja de Russell, que revelaron la falta de un marco sólido y coherente en la teoría de conjuntos primitiva. A pesar de que eventualmente se llegaron a ciertos acuerdos, la elección de los axiomas no fue un proceso exento de debate, lo que suma a la complejidad de la aceptación del axioma de elección en particular.
La obra de Georg Cantor fue crucial en este contexto, ya que introdujo conceptos sobre el infinito y los conjuntos que desafiaron las nociones existentes. El principio del buen orden, una de sus propuestas, equivalía a la necesidad de que todo conjunto pudiera ordenarse de tal forma que siempre existiera un elemento mínimo en cualquiera de sus subconjuntos no vacíos. Esta idea provocó un cambio paradigmático en la forma de abordar los conjuntos, pero también generó nuevas dudas, sobre todo con la llegada de Zermelo y su axioma de elección. Este último, aunque se propuso para resolver algunas de las contradicciones que afligían a las matemáticas de su tiempo, no contaba con un método explícito para su aplicación, lo cual lo hizo especialmente controvertido entre los matemáticos, quienes abogaban por axiomas que presentaran claridad y estructura.
Con la formulación de la teoría de conjuntos de Zermelo-Fraenkel, el axioma de elección se convirtió en un tema de fuerte debate. Aunque Zermelo proporcionó una lista de principios que buscaba depurar las paradojas, muchos matemáticos se mostraron escépticos ante la inclusión del axioma de elección. Esto se debe a que, a diferencia de los otros axiomas que definían conjuntos de manera clara, el axioma en cuestión permitía la existencia de conjuntos sin un método explícito para su construcción. Esta característica generó recelos, y el axioma fue visto por algunos como una herramienta que, si bien útil, podría inducir a un tipo de confusión y ambigüedad en la práctica matemática.
Avanzando hacia la década de 1960, Paul Cohen demostró que el axioma de elección es en realidad independiente de los demás axiomas de Zermelo-Fraenkel, lo que significa que en el marco de ZF, no puede ser ni probado ni refutado. Esta revelación colocó a la comunidad matemática en una encrucijada, llevando a un nuevo tipo de debate: no necesariamente sobre la verdad del axioma, sino sobre su utilidad. El axioma de elección, una vez cuestionado, comenzó a ser valorado por su capacidad de facilitar teoremas e inductivos en diversas áreas de las matemáticas, elevándose así en importancia más allá de su justificación puramente lógica.
El dilema detrás del axioma de elección continúa resonando en las discusiones contemporáneas sobre los fundamentos de la matemática. Esta situación evidencia que las verdades matemáticas no son simples deberes evidentes, sino decisiones que, aunque fundamentadas, se basan en consideraciones prácticas y de utilidad. En última instancia, los axiomas de la teoría de conjuntos de Zermelo-Fraenkel son considerados por muchos como los cimientos de todo el edificio matemático moderno, destacando la paradoja de que, a pesar de ser universalmente aceptados, su aceptación continúa siendo, en esencia, un acto de fe en la lógica y la estructura que han construido a lo largo del tiempo.
