Escuché que el axioma de elección (AC) se deriva de La hipótesis del continuo generalizado (GCH). Y también escuche que tanto AC como GCH son independientes de Teoría de conjuntos de Zermelo-Fraenkel (ZF).
Entonces, tengo curiosidad por saber por qué los matemáticos expertos no usan ZF + GCH en lugar de ZF + AC (ZFC).
Advertencia: sigue una respuesta ingenua. Creo que AC es intuitivamente más cierto que GCH. Además, creo que AC es más indispensable para las matemáticas que GCH. Por ejemplo, hay muchas formas equivalentes de CA dentro de ZF que surgen de forma natural, como el lema de Zorn o el principio de ordenamiento bien.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
