Méthode axiomatique et formalisme III : LA NON-CONTRADICTION DE L'ARITHMÉTIQUE - Cavaillés, Jean (Actualités Scientifiques et Industrielles; Le Progrés de l'Esprit / Hermann et Cie Editeurs, 1938)