incomplétude de la théorie des ensembles
Définitions
incomplétude de la théorie des ensembles : Propriété d'un système formel, en particulier de la théorie des ensembles, qui stipule qu'il existe des propositions qui ne peuvent être ni prouvées ni réfutées au sein de ce système.
La incomplétude de la théorie des ensembles a été démontrée par Kurt Gödel dans les années 1930.
Cette incomplétude remet en question la possibilité d'une axiomatisation complète des mathématiques.
Les conséquences de l'incomplétude de la théorie des ensembles sont profondes pour la logique et la philosophie des mathématiques.
