これは
(κ,λ)∈Ord×Ord
に辞書式順序<<を入れて
順に定義をしていったもの
この定義が上手く行けば
P(κ,λ)
であるκによる
Vκ
は
α<κ
である
ZFC+U(α,λ)
のモデル
（κ=0のときはμ<λであるZFC+U(μ)のモデル・κ=λ=0のときはZFCのモデル）
の無矛盾性は
(κ,λ)<<(κ',λ')
による
ZFC+U(κ',λ')
から証明できる