Volume 6, 1937
Logique et Mathématiques
Hans Hermes
Pages 43-45
Ein Axiomensystem für die Syntax des (klassischen) Logikkalküls
1. Les procédés de construction du calcul logique classique. Les expressions. Les propositions. Les propositions syntactiques. Les propriétés ou rapports de structure. On recherche ici un système d’axiomes d’où puissent se déduire les propriétés de structure, sans aucun appel à l’intuition. — 2. Les quatre axiomes de 1’« arithmétique généralisée ». — 3. Extension de ce système d’axiomes au système d’axiomes de la syntaxe du calcul logique. Possibilité de déduire des propositions syntactiques sans revenir à l’intuition. — 4. L’avantage de la méthode axiomatique.