La première partie expose les axiomes usuels de la théorie des ensembles, les notions d'ordinal et de cardinal, l'axiome du choix et ses équivalents classiques. Viennent ensuite les premiers résultats de consistance relative. Cette partie s'achève sur une démonstration du théorème de Gödel. La seconde partie est consacrée au forcing et à ses applications.