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