On commence avec un point de vue naïf sur les ensembles. Dans ce cadre on introduit les ordinaux et les cardinaux, et on en développe une théorie élémentaire qui montre très clairement que ce point de vue naïf n'est pas tenable.
On aborde alors la théorie axiomatique des ensembles de Zermelo et Fraenkel. On s'intéresse particulièrement aux problèmes d'indépendance et d'(in)conhérence, prenant comme exemples particuliers l'axiome du choix et l'hypothèse du continu.
En parallel on donne une base du calcul des propositions et des prédicats, c'est-à-dire des structures et langages du premier ordre, dont on a besoin pour bien comprendre les problème qui apparaissent dans la théorie des ensembles.
- Enseignant: Egner Nadja
- Enseignant: Van der Linden Tim
- Enseignant: Vitale Enrico