1Die Annahme der Kontinuumshypothese ist rein notationell begründet, keiner der Hauptsätze der Funktionalanalysis beruht auf dieser. Allerdings ‘weiß’ man damit, daß jeder separable vollständige metrische Raum die Kardinalität ℵ1 besitzt.