Wikipedia

Diferencia entre revisiones de «Axiomas de Zermelo-Fraenkel»

Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Sin resumen de edición
Línea 1:
En [[Matemáticasló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 [[axioma|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.
Obtenido de «https://es.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel»