Einige Bemerkungen zu der Abhandlung von E. Zermelo: ``Über die Definitheit in der Axiomatik''. (Q1828974)

Verf. weist auf seine frühere Präzisierung des Definitheitsbegriffes (F. d. M. 49, 138 (JFM 49.0138.*)-139) hin, bei der er im Gegensatz zu \textit{Zermelo} Quantifikationen über Satzfunktionen selbst nicht mehr zuläßt, weil dadurch nichts erreicht werde. Nun fußt aber der viel zitierte \textit{Löwenheim}sche Satz (Abzählbarkeit des kleinsten Modells) gerade auf dieser Quantifikationsbeschränkung, zu der offenbar Zweifel an der Definitheit der allgemeinen Teilmengenbildung Anlaß gaben, deren Anwendung zur Abgrenzung des Definitheitsbegriffs Verf. dann bei \textit{Zermelo} kritisiert. Bei \textit{Zermelo} erstreckt sich dieser Begriff allerdings auf einen viel weiteren Rahmen. (II.)