Überbegriff für den im folgenden angerissenen Problemkreis in der Maßtheorie.

Banach (1923) zeigte, daß der Lebesgue-Inhalt auf der Borel-σ-Algebra \( {\mathcal B} ({{\mathbb{R}}}^{n})\) mit n = 1 oder n = 2 auf die Potenzmenge von ℝⁿ fortgesetzt werden kann, Hausdorff (1914), daß dies für n ≥ 3 nicht geht (Banach-Hausdorff-Tarski-Paradoxon), wie auch nicht für das Lebesgue-Maß auf \( {\mathcal B} ({{\mathbb{R}}}^{n})\) mit n ≥ 1, und von Neumann (1929), warum dies so ist. Solovay (1964) zeigte, daß das Auswahlaxiom in der naiven Mengenlehre durch das Axio

Alle Teilmengen von ℝ sind Lebesgue-meßbar ersetzt werden kann, ohne dadurch Widersprüche zu erzeugen. Das Auswahlaxiom ist also notwendig, um in ℝⁿ für n ≥ 1 die Existenz nicht Lebesgue-meßbarer Mengen nachzuweisen.