Bemerkungen zu den Ausführungen von Herrn S. Leśniewski über meine Arbeit ``Zur Hilbertschen Beweistheorie''. (Q571222): Difference between revisions

In \S\, 1 dieses kleinen Aufsatzes erwidert Verf. auf einen Einwand von \textit{S. Leśniewski} (in dessen Abhandlung: ``Grundzüge eines neuen Systems der Mathematik'', Fundamenta 14 (1929), 1-81; JFM 55.0626.*-627) gegen die formalen Vorschriften in seiner Arbeit ``Zur Hilbertschen Beweistheorie'' (M. Z. 26 (1927), 1-46; F. d. M. 53, 41 (JFM 53.0041.*)). Er zeigt, daß der von \textit{Leśniewski} hergeleitete Widerspruch dadurch ermöglicht wird, daß dieser die Forderung nicht berücksichtigt, daß die Zeichen jeder formalen Theorie derart unterscheidbar sein müssen, daß nicht zwei ganz gleich aussehende Zeichenreihen auf zwei verschiedene Arten gebildet werden können. In \S\, 2 weist Verf. aber selbst auf ein Versehen in seiner Arbeit hin, nämlich daß seine Abänderungsregel doch nicht ganz in Übereinstimmung mit jener Eindeutigkeitsforderung ist, so daß eine Vorsichtsmaßregel hinzugefügt werden muß.