Ceci est un tome de mathématiques qui parle de logique et de la théorie des ensembles.