Über die Entscheidbarkeit einer Wissenschaft mit unendlichem Dingbereich. (Q1830458)

\textit{Kuratowski} hat seine Bedingungen für den Begriff ``abgeschlossene Hülle'' (Fundamenta 3 (1922), 182-199; F. d. M. 48, 210 (JFM 48.0210.*)-211) als kategorisch im Sinne der Entscheidungsdefinitheit nachgewiesen, indem er zeigte, daß ein maßgebliches System von Funktionen \textit{endlich} ist. Unter Modifikation der \textit{Kuratowski}schen Bedingungen und der daraus leicht hervorgehenden Bedingungen für den Begriff der Ableitung studiert Verf. die Frage der Entscheidbarkeit auch für die dabei entstehenden \textit{unendlichen} Systeme und macht durch eine Beweisskizze plausibel, daß man sogar bei Hinzunahme der Bildung der Vereinigungsmenge noch zu entscheidungsdefiniten Bedingungssystemen gelangen könne.