Où l’on parle du langage de la logique (et des ensembles), des infinis dénombrables et indénombrables et des différents ensembles de nombres.