Kurt Gödel

L’énoncé c = ℵ1 est connu sous le nom d’hypothèse du continu. La question de savoir si l’hypothèse du continu est vraie a constitué pendant plusieurs décennies l’un des plus grands défis de toutes les mathématiques. La réponse, finalement donnée par Kurt Gödel et Paul Cohen, nous mène aux limites de la pensée logique. Ils ont montré que l’énoncé c = ℵ1 est indépendant du système d’axiomes de Zermelo-Fraenkel, tout comme l’axiome de l’unique parallèle est indépendant des autres axiomes de la géométrie