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