Axioma de elección y axiomática de Zermelo-Fraenkel
Axiom of choice and Zermelo-Fraenkel set theory
- Fecha
- 1904-1908 · fiabilidad alta
- Lugar
- Gotinga, Alemania
- Autoría
- Ernst Zermelo (1904, 1908); Abraham Fraenkel y Thoralf Skolem (1922)
- Personas
- 👤 Ernst Zermelo1871–1953
- Ámbito
- Saber y símbolos
Qué se descubrió
Formulación explícita del axioma de elección para probar el teorema del buen orden y primera axiomatización de la teoría de conjuntos, que evita las paradojas y sirve hoy de fundamento estándar (ZFC) de la matemática.
El axioma de elección fue muy controvertido (Borel, Lebesgue, Baire) por sus consecuencias no constructivas.
A qué dio paso
- fundamentos ZFC
- lema de Zorn
- paradoja de Banach-Tarski
- resultados de independencia (Gödel, Cohen)