Axiome de constructibilité
 |
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
L'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par
- V = L,
où V représente la classe des ensembles et L la classe des ensembles récursivement définissables via un langage approprié.
[modifier] Conséquences de son adoption
L'acceptation de l'axiome de constructibilité tranche certaines questions indécidables de la théorie des ensembles usuelle ZFC.
L'axiome de constructibilité implique l'hypothèse généralisée du continu, l'axiome du choix, la négation de l'hypothèse de Souslin et l'existence d'un simple (Δ12) ensemble non mesurable de nombres réels.
L'axiome de constructibilité implique l'inexistence de certains grands cardinaux.
La plupart des théoriciens de théorie des ensembles qui soutiennent une position réaliste en philosophie des mathématiques, et qui considèrent donc que cet axiome est vrai ou faux en soi, le tiennent pour faux. Ceci, d'une part, car il semble excessivement restrictif (il n'accepte que certains sous ensembles d'un ensemble donné sans qu'il apparaisse clair, à leurs yeux de réalistes, que ce sont les seuls) et d'autre part car cet axiome est en contradiction avec certains axiomes de grands cardinaux. Cette manière de voir est associée à la cabale (théorie des ensembles) (en) ou l'« école de Californie » dont Saharon Shelah fit partie.
[modifier] Voir aussi
[modifier] Bibliographie
- Keith Devlin, Constructibility, 1984, édition Springer. ISBN 3-540-13258-9.
- Keith Devlin, The Joy of Sets, Fundamentals of Contemporary Set Theory, 1991, edition Springer-Verlag.
