Les axiomes de ZFC
Une première vidéo sur l'axiomatisation de la théorie des ensembles.
On avait vu dans la vidéo sur le paradoxe de Russell les problèmes qui pouvaient advenir si on ne définissait pas les ensembles avec précaution : les axiomes sont là pour ça !
Tout sur les ensembles : • Paradoxe de Russell
Pour connaître les autres axiomes de ZFC :
Axiome de fondation : • Axiome de fondation
Axiome de l'infini : • Axiome de l'infini
Quelques exos d'application pour voir si vous avez tout bien compris :
• Les axiomes en exos
0:00 Introduction
1:55 Notion d'univers
6:49 Extensionnalité+Compréhension
14:16 Axiomes de construction
21:39 Ensemble des parties
25:58 Conclusion