A mathematical logic without variables. I. (Q2611353)

Die Arbeit beschäftigt sich mit der sogenannten kombinatorischen Logik, deren Begriff und erste Entwicklung \textit{Curry} zu verdanken ist. (Amer. Journ. of Math. 52 (1930), 509-536; JFM 56.0048.*; Amer. Journ. of Math. 54 (1932), 551-558; F. d. M. 58.) Die kombinatorische Logik wird hier in engere Beziehung zu dem logistischen System von \textit{A. Church} gebracht. Gleichzeitig wird der Grundgedanke der kombinatorischen Logik gegenüber \textit{Curry} insofern noch verschärft, als nicht nur in den logischen Formeln selbst, sondern auch in den Regeln zur Ableitung neuer Formeln der Gebrauch der Variablen vermieden wird. Das macht eine Neufassung der Beweise für die von \textit{Curry} gefundenen Sätze notwendig.