Théorie des ensembles

Commencer la lecture → Description de la mathématique formelle

1. Préliminaires
   1. Introduction
   2. Mode d’emploi de ce traité
2. IDescription de la mathématique formelle
   1. Description de la mathématique formelle
   2. § 1. Termes et relations8
   3. § 2. Théorèmes1
   4. § 3. Théories logiques
   5. § 4. Théories quantifiées
   6. § 5. Théories égalitaires3
   7. App. 0. Caractérisation des termes et des relations7
3. IIThéorie des ensembles
   1. Théorie des ensembles
   2. § 1. Relations collectivisantes8
   3. § 2. Couples5
   4. § 3. Correspondances28
   5. § 4. Réunion et intersection d’une famille d’ensembles22
   6. § 5. Produit d'une famille d'ensembles24
   7. § 6. Relations d’équivalence5
4. IIIEnsembles ordonnés, cardinaux, nombres entiers
   1. Ensembles ordonnés, cardinaux, nombres entiers
   2. § 1. Relations d’ordre. Ensembles ordonnés54
   3. § 2. Ensembles bien ordonnés27
   4. § 3. Ensembles équipotents. Cardinaux32
   5. § 4. Entiers naturels. Ensembles finis16
   6. § 5. Calcul sur les entiers30
   7. § 6. Ensembles infinis24
   8. § 7. Limites projectives et limites inductives27
   9. Historical Note
5. IVStructures
   1. Structures
   2. § 1. Structures et isomorphismes13
   3. § 2. Morphismes et structures dérivées12
   4. § 3. Applications universelles
   5. Historical Note
6. Index
   1. Index des notations
   2. Index terminologique