Logique mathématique cours et exercices - Cori, René; Lascar, Daniel (Axiomes)