Méthode axiomatique et formalisme III : LA NON-CONTRADICTION DE L'ARITHMÉTIQUE - Cavaillés, Jean (Hermann et Cie Editeurs, 1938)