モース-ケリー集合論
ZFC, NBG そして MK はそれぞれ、ZFC におけるフォン・ノイマン宇宙 V で記述されるモデルを持つ。到達不能基数 κ を V の要素とする。そして Def(X) を Δ0 定義可能な X の部分集合とする(構成可能宇宙を参照)。すると以下が成り立つ。
Vκ は ZFC のモデルである。
Def(Vκ) は、サイズ制限公理を置換公理と通常の選択公理で置き換えることで大域選択公理を外した、 Mendelson 版の NBG のモデルである。
Vκ+1 は Vκ の冪集合であり、 MK のモデルである。