« Fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
compléments du plan |
compléments du plan |
||
Ligne 81 :
===Où sont les axiomes manquants ?===
==Les
Ce chapitre 5 expose des axiomes pour les théories des ensembles. Plusieurs approches complémentaires sont présentées.
[[Fondements des mathématiques:Chapitre 5|Texte du chapitre 5]]
===L’axiome d’extensionalité===
===L’approche de Zermelo, Fraenkel et Skolem===
===Une reformulation de ZFC, la théorie des classes de Von Neumann, Gödel et Bernays===
===La théorie des types de Whitehead et Russell===
===La théorie du zig-zag interdit de Quine===
===Le problème des définitions non-prédicatives===
===Les ensembles finitaires===
===Les ensembles infinitaires===
===L’axiome de fondation, la circularité et les hyperensembles===
==Des preuves de cohérence==
| |||