INDÉPENDANCE, logique mathématique

Ce sujet est traité dans les articles suivants :

1.  ENSEMBLES (THÉORIE DES) - Théorie axiomatique

Écrit par : Jacques STERN

Dans le chapitre "Les grands résultats d'indépendance"  : … Le *fait que l'hypothèse du continu ne puisse pas être décidée à partir des axiomes de ZF est certainement l'un des résultats mathématiques les plus profonds du xx^e siècle. Le but de ce chapitre est de montrer comment les techniques de construction de modèles décrites plus haut permettent d'établir l'indépendance de l'hypothèse… Lire la suite