Hipótesis del continuo
De Wikipedia, la enciclopedia libre
El continuo c es el cardinal de 
(conjunto de los números reales). Se dice que un conjunto A tiene la potencia del continuo si card(A) = c.
La hipótesis del continuo viene a decir que no existe ningún conjunto A tal que 
, donde 
es el cardinal de los números naturales (alef-0).
La hipótesis del continuo es un problema indecidible en el sistema axiomático ZFC (Zermelo-Fraenkel con Axioma de elección). Esto se demostró complementando ZFC por una parte con la hipótesis del continuo (Kurt Gödel, 1938) y por otra parte con su contrario (Paul Cohen, 1963), obteniendo sistemas axiomáticos consistentes en ambos casos.
