21/10/19 07:11:31.43 fNghGQZM.net
もちろん、正解は
「箱入り無数目の無限列の決定番号は確率１で自然数」
「自然数全体の集合Nの中に最大元はない」
「Zermeloの後者関数によってもωは∪ｎと定義されるから無限集合」
さて
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
両者の違い、分かるかな？ｗ
21/10/19 07:11:31.43 fNghGQZM.net
もちろん、正解は
「箱入り無数目の無限列の決定番号は確率１で自然数」
「自然数全体の集合Nの中に最大元はない」
「Zermeloの後者関数によってもωは∪ｎと定義されるから無限集合」
さて
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
両者の違い、分かるかな？ｗ