数学基礎論・数理論理学　その20

そこに絞って書き直すとこうかな？
⓪λ=0のとき
K(0)::={κ:到達不能基数}
k(0):Ord→K(0)
U(0)::=∀α<∃κ∈K(0)
�@後続順序数λ+1のとき
K(λ+1)::={κ:κ=k(λ)(κ)}
k(λ+1):Ord→K(λ+1)
U(λ+1)::=U(λ)∧∀α<∃κ∈K(λ+1)
�Aλが極限順序数の時
K(λ)::={κ::∀μ<λ:κ=k(μ)(κ)}
k(λ):Ord→K(λ)
U(λ)::=∀μ<λ:U(μ)∧∀α<∃κ∈K(λ)