Back Zermelo-Fraenkel-Mengenlehre ALS نظرية المجموعات حسب تسيرميلو-فرانكل Arabic Teoria de conjunts de Zermelo-Fraenkel Catalan Zermelova–Fraenkelova teorie množin Czech Damcaniaeth setiau Zermelo–Fraenkel Welsh Zermelo-Fraenkels aksiomer Danish Zermelo-Fraenkel-Mengenlehre German Zermelo–Fraenkel set theory English Zermelo-Fraenkeli aksiomaatika Estonian Théorie des ensembles de Zermelo-Fraenkel French
&lang=es&q=Archivo:Ernst_Zermelo.jpeg)
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. 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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search