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