Méthode axiomatique et formalisme II : AXIOMATIQUE ET SYSTÉME FORMEL. - Cavaillés, Jean (Paris : Hermann et Cie Editeurs, 1938)