2.2 Notion naïve d’ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2.1 Introduction .............................. 21
2.2.2 Concepts et notations . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3 Lelangageformel................................ 21
2.3.1 Langage formel et langage naturel . . . . . . . . . . . . . . . . . . 22
2.3.2 Définir la notion de langage . . . . . . . . . . . . . . . . . . . . . . 22
2.3.3 Construisons un exemple . . . . . . . . . . . . . . . . . . . . . . . 23
2.4 Introduction au calcul des propositions . . . . . . . . . . . . . . . . . . . . 23
2.4.1 Introduction .............................. 23
2.4.2 Connecteurs logiques . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4.3 Langages propositionnelles . . . . . . . . . . . . . . . . . . . . . . 27
2.4.4 Valuation ................................ 28
2.5 Tautologies ................................... 29
2.5.1 Définition................................ 29
2.5.2 Tautologies remarquables . . . . . . . . . . . . . . . . . . . . . . . 29
2.6 Calculdesprédicats .............................. 31
2.6.1 Motivations............................... 31
2.6.2 Quantificateurs existentiels et universels . . . . . . . . . . . . . . . 32
2.6.3 Alphabet et syntaxe . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.6.4 Énoncés des langages prédicatifs . . . . . . . . . . . . . . . . . . . 33
2.7 Introduction à la théorie des modèles . . . . . . . . . . . . . . . . . . . . . 34
2.7.1 Motivations............................... 34
2.7.2 Notiondemodèle............................ 35
3 Théorie des ensembles 38
3.1 Une branche fondamentale . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.1.1 Introduction - paradoxe de Galilée . . . . . . . . . . . . . . . . . . 38
3.1.2 La crise des fondements . . . . . . . . . . . . . . . . . . . . . . . . 39
3.1.3 Quelques remarques sur les axiomes ZFC . . . . . . . . . . . . . . 40
3.2 Axiome d’extensionnalité . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.2.1 Idée générale de l’axiome . . . . . . . . . . . . . . . . . . . . . . . 40
3.2.2 Énoncé de l’axiome . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.2.3 Écritureformelle............................ 40
3.3 Axiomedelaréunion.............................. 41
3.3.1 Idée générale de l’axiome . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.2 Énoncé de l’axiome . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.3 Écritureformelle............................ 41
3.4 Axiome de l’ensemble des parties . . . . . . . . . . . . . . . . . . . . . . . 43
3.4.1 Idée générale de l’axiome . . . . . . . . . . . . . . . . . . . . . . . 43
3.4.2 Notion de sous-ensemble . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4.3 Énoncé de l’axiome . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4.4 Écritureformelle............................ 44
3.5 Schéma d’axiomes de remplacement . . . . . . . . . . . . . . . . . . . . . 44
2