構成可能集合
L は全ての順序数を含む最小の ZFC のモデルである。
全ての正則基数 κ に対して κ 上のダイヤモンド原理 ♢ κ {\displaystyle \diamondsuit _{\kappa }} が成り立つ。
ススリン木が存在する。