A theory of positive integers in formal logic. I. (Q2611351)

Die Arbeit baut, unter Zugrundelegung der typenlosen Logik von \textit{A. Church} (1933; JFM 59.0052.*), eine Theorie der positiven, ganzen Zahlen auf. Dieser Aufbau ist, ähnlich wie bei \textit{Whitehead} und \textit{Russell}, so zu verstehen, daß die grundlegenden Begriffe der Arithmetik wie ``positive, ganze Zahl'', ``Nachfolger'', ``Summe'', ``Produkt'', ``Eins'' usw. mit bestimmten logischen Gebilden identifiziert werden, und daß gezeigt wird, daß dann die arithmetischen Grundbeziehungen zu rein logischen, beweisbaren Sätzen werden. Der \textit{Whitehead-Russell}sche Versuch ließ sich insofern nicht rein durchführen, als ein besonderes, nicht rein logisches Axiom, das ``Unendlichkeitsaxiom'', eingeführt werden mußte. Diese Schwierigkeit entsteht bei einer typenlosen Logik, wie im vorliegenden Falle, nicht. Die Definition der grundlegenden arithmetischen Begriffe war schon von \textit{Church} angegeben worden und wird von \textit{Kleene} im wesentlichen unverändert übernommen. \textit{Kleene} gibt dann die streng formalen Ableitungen für die fundamentalen arithmetischen Sätze wie \textit{Peano}sche Axiome, Eigenschaften der ``Größerkleinerbeziehung'' usw. Eine Parallelarbeit zu der vorliegenden Abhandlung von \textit{Kleene} stellt übrigens dar die kürzlich erschienene Dissertation von \textit{F. Bachmann}, Untersuchungen zur Grundlegung der Arithmetik mit besonderer Beziehung auf \textit{Dedekind}, \textit{Frege} und \textit{Russell} (Forschungen zur Logistik und zur Grundlegung der exakten Wissenschaften, Heft 1 (1934), 78 S. ; F. d. M. 60\(_{\text{II}}\)).