Die Existenz weiterer unerreichbarer Kardinalzahlen kann im Rahmen dieser Theorie nicht bewiesen werden (die Widerspruchsfreiheit derselben einmal angenommen), sondern muss durch ein neues Axiom postuliert werden.