Les cardinaux et les ordinaux

Table des matières :

1. Les cardinaux et les ordinaux
   1. Introduction
   2. Paradoxe de Godel-Turing
   3. Énumérabilité
   4. Décidabilité
   5. Théorie logique
   6. Les cardinaux
      1. Addition de cardinaux
      2. Produit de cardinaux
   7. Relation d'ordre sur les cardinaux
      1. Auto-plongement
      2. Plongement réciproque
   8. Ensemble infini
   9. Cardinal de l'ensemble des parties
   10. Introduction au langage formel typé
   11. Élévation à la puissance de cardinaux
   12. La restriction calculable de l'ensemble des parties
       
2. Equivalence de Skolem et de Herbrand
   1. Introduction
   2. Logique respectueuse de l'indépendance
   3. L'équipotence est une propriété exprimable en logique RI du premier ordre
   4. L'infinitude est une propriété exprimable en logique RI du premier ordre
   5. L'infini
   6. Ensemble bien ordonné
   7. Les ordinaux