The consistency of the axiom of choice and of the generalized continuum-hypothesis. (Q2595506)

Es sei \(T\) dasjenige Axiomensystem der Mengenlehre, welches man aus dem \textit{v. Neumann}schen System \(S\)* (J. reine angew. Math. 160 (1929), 227-241; JFM 55.0052.*) durch Weglassen des Axioms III 3* (Auswahlaxiom) erhält. Falls \(T\) konsistent ist, so bleibt es dies, wenn man die folgenden vier Aussagen gleichzeitig als gültig hinzunimmt: (1) das Auswahlaxiom III 3*; (2) die allgemeine Kontinuumshypothese (\(2^{\aleph_\alpha }=\aleph_{\alpha +1}\) für jede Ordnungszahl \(\alpha \)); (3) die Existenz von linearen nicht-meßbaren Mengen derart, daß sie und ihre Komplemente umkehrbar eindeutige Projektionen zweidimensionaler Komplemente von analytischen Mengen sind; (4) die Existenz linearer Komplemente analytischer Mengen von Kontinuumsmächtigkeit und ohne perfekte Teilmengen. (IV 3 A.)