Examen corrigé du Cours de logique

La partie entrainement comprend des exercices qui ont été ... Les cinq axiomes de Péano, qui définissent l'ensemble des en- ... Corrigé 1.5.1.