Axiomas de Zermelo-Fraenkel

En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de elección (axiom of choice), como ZFC.

Durante el siglo XIX algunos matemáticos trataron de llevar a cabo un proceso de formalización de la matemática a partir de la teoría de conjuntos. Gottlob Frege intentó culminar este proceso creando una axiomática de la teoría de conjuntos. Lamentablemente, Bertrand Russell descubrió en 1901 una contradicción, la llamada paradoja de Russell. Consecuentemente, a principios del siglo XX se realizaron varios intentos alternativos y hoy en día ZFC se ha convertido en el estándar de las teorías axiomáticas de conjuntos.

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *