Title: La consistance des théories formelles et le fondement des mathématiques
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic