Axiomes des théories des ensembles
Axiomes des théories des ensembles
Chapitres
| Chap. 1 : |  Introduction (17) |
|---|---|
| Chap. 2 : | Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables (17) |
| Chap. 3 : | Les ensembles finitaires (17) |
| Chap. 4 : | Négation dans les prédicats finitaires (17) |
| Chap. 5 : | Théorèmes fondamentaux de l’énumérabilité et de l’indécidabilité (17) |
| Chap. 6 : | Énumérabilité selon Smullyan (17) |
Interwikis
Présentation
La présentation de cette leçon n'a pas été rédigée. Pour le faire, cliquez ici.
Objectifs
Les objectifs de cette leçon n'ont pas encore été fixés. Pour le faire, cliquez ici.
Niveau et prérequis conseillés
Leçon de niveau 17. Les prérequis pour cette leçon n'ont pas encore été précisés. Pour le faire, cliquez ici.
Référents
Ces personnes sont prêtes à vous aider concernant cette leçon :