Axiome de constructibilité
- Axiome de constructibilité
-
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é.
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.
Voir aussi
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.
Catégorie :
- Axiome de la théorie des ensembles
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Axiome de constructibilité de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Axiome De Constructibilité — 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 l univers de von Neumann et L l univers… … Wikipédia en Français
Axiome de constructibilite — Axiome de constructibilité 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 l univers de von Neumann … Wikipédia en Français
Axiome de constructibilité — ● Axiome de constructibilité axiome de la théorie des ensembles, selon lequel tous les ensembles sont constructibles … Encyclopédie Universelle
constructibilité — ● constructibilité nom féminin État d un terrain constructible. Possibilité, formulée à l aide d hypothèses, d énoncer un système logique recevable. ● constructibilité (expressions) nom féminin Axiome de constructibilité, axiome de la théorie des … Encyclopédie Universelle
Axiome D'anti-fondation — L axiome d anti fondation est un axiome alternatif à l axiome de fondation de la théorie des ensembles qui permet des chaînes infinies descendantes pour la relation d appartenance sur les ensembles. Il permet par exemples à un ensemble d… … Wikipédia en Français
Axiome d'anti-fondation — L axiome d anti fondation est un axiome alternatif à l axiome de fondation de la théorie des ensembles qui permet des chaînes infinies descendantes pour la relation d appartenance sur les ensembles. Il permet par exemple à un ensemble d… … Wikipédia en Français
ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… … Encyclopédie Universelle
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Grand cardinal — En mathématiques, et plus précisément en théorie des ensembles, un grand cardinal est un nombre cardinal transfini satisfaisant une propriété qui le distingue des ensembles constructibles avec l axiomatique usuelle (ZFC) tels que aleph zéro,… … Wikipédia en Français
Fondation des mathématiques — Fondements des mathématiques Le problème de la fondation ou des fondements, des mathématiques est celui des principes sur lequel est établie cette science, de sa vérité et de son contenu. Il s agit en particulier de répondre à la question :… … Wikipédia en Français