Méthode axiomatique et formalisme
Cavaillès, Jean cop. 1981