宇宙 (数学)
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。公理的集合論は元来1908年にエルンスト・ツェルメロによって開発された。ツェルメロ集合論は"通常の"数学を公理化することができるため、カントールによって三十年早く始められたプログラムを達成して、確実に成功した。しかし、ツェルメロ集合論は公理的集合論および数学基礎論、特にモデル理論における他の研究のさらなる発展にとって不十分であった。劇的な例として、上述の上部構造プロセスの記述はツェルメロ集合論においてそれ自身実行できないことが挙げられる。最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理が必要である。置換公理は、ツェルメロ=フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
しかし、もし超冪集合論が持ち込まれた場合、上記の上部構造のプロセスそれ自体は明らかに超限帰納法のはじまりに過ぎない。