La Théorie des Ensembles comme fondation des mathématiques. ZF, ZFC, ZF avec atomes. Consistance relative de l'Axiome du Choix, de l'Hypothèse du Continu, des réels comme union dénombrable d'ensembles dénombrables, de l'existence d'une famille dénombrable de pairs sans fonction de choix.
Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.
