19/12/25 19:10:17.32 vcY8XrPJ.net
Zermelo構成でのωが満たすべき性質
「ωから任意のｎへの有限∈降下列が存在する」
その場合ωの要素は無限個
何故なら
∀ｎ∈N∃ｍ∈ω．n＜ｍ
を満たさなくてはならないから
19/12/25 19:10:17.32 vcY8XrPJ.net
Zermelo構成でのωが満たすべき性質
「ωから任意のｎへの有限∈降下列が存在する」
その場合ωの要素は無限個
何故なら
∀ｎ∈N∃ｍ∈ω．n＜ｍ
を満たさなくてはならないから
19/12/25 19:10:17.32 vcY8XrPJ.net
Zermelo構成でのωが満たすべき性質
「ωから任意のｎへの有限∈降下列が存在する」
その場合ωの要素は無限個
何故なら
∀ｎ∈N∃ｍ∈ω．n＜ｍ
を満たさなくてはならないから