Über den Begriff einer endlichen Menge. (Q2598623)

Bekanntlich hat man den Begriff der endlichen Menge in verschiedener Weise definiert; diese Definitionen werden in der vorliegenden Arbeit genauer untersucht. Verf. schreibt \(\alpha\supset{}_M\beta\), um auszudrücken, daß \(\beta\) aus \(\alpha\) folgt auf Grund der Axiome und Schlußregeln eines logischen Systems \(S\) und der Sätze einer Menge \(M\). In \(S\) kommt die Aussage \(\alpha^n(X)\) vor, die ausdrückt, daß die Menge \(X\) genau \(n\) Elemente enthält. Eine Aussagenfunktion \(\delta(X)\) heißt eine mögliche Endlichkeitsdefinition in bezug auf \(M\), wenn für jede natürliche Zahl \(n\) die Formel \(\alpha^n(X) \supset {}_M\delta(X)\) gilt. Eine mögliche Endlichkeitsdefinition heißt stärkste Endlichkeitsdefinition, falls aus ihr alle anderen folgen. Unter \(M_\omega\) wird die Menge aller Aussagen \(\alpha^n (n = 0, 1, 2, \ldots)\) verstanden, wobei \(\alpha^n\) besagt, daß ein \(X\) existiert, derart, daß \(\alpha^n(X)\) gilt. Dann gelten die Sätze: Ist \(M\) eine rekursive Menge von Sätzen, und ist \(M + M_\omega\) widerspruchsfrei, so gibt es keine stärkste Endlichkeitsdefinition in bezug auf \(M\). Bedeutet \(M\) die Klasse aller wahren Sätze, so ist die gewöhnliche Russellsche Induktivitätsdefinition die stärkste Endlichkeitsdefinition in bezug auf \(M\). Eine genauere Analyse wird auf Grund einiger Ergebnisse von Rosser durchgeführt, und zum Schlusse wird in entsprechender Weise der Begriff des ``möglichen Unendlichkeitsaxioms'' studiert.