22/01/29 18:22:02.89 2PdAu/y1.net
>>642
つづき
243 名前：１３２人目の素数さん[] 投稿日：2021/06/17(木) 18:31:53.16 ID:KCAxlwiy [1/3]
>>222
改めて整理すると、
a:{0, …, ω}→{0, …, ω}でa(x)=xとなる関数を考える
aの定義域はインデックス集合であり、aは列である
列をa、インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つとき、aは真の上昇列や<上昇列であると呼ぶ
I={0, …, ω}とすると∀i,j∈I i < j ⇒ i = ai < aj = jが成り立つので、aは真の上昇列であり、インデックス集合が無限なので無限列でもある
論理的にどこが、そして何が誤っているかを知りたい
401 名前：１３２人目の素数さん[] 投稿日：2021/06/19(土) 12:25:32.47 ID:jEvz9hTC [1/5]
>>395
ω+1={1,2,3,...,ω}が最大値を持つ超限順序数であることと、無限降下列を持たないことごっちゃになってるな
中途半端に基礎論勉強したって感じなのかな
574 名前：１３２人目の素数さん[sage] 投稿日：2021/06/20(日) 17:27:33.12 ID:aiCb8/PE [59/66]
>>570
＞順序数は上昇列じゃないんだ。
＞じゃあωも上昇列でないてことでok？
ああ、そうだよ
そもそもID:jA2rtNGF君は、なんでωが上昇列だと思うんだい？
ちゃんと答えてごらん センセイ、怒らないからｗ
593 名前：１３２人目の素数さん[sage] 投稿日：2021/06/20(日) 18:16:19.00 ID:aiCb8/PE [66/66]
>>589
＞ω={0,1,2,...}が上昇列じゃないって言ったのは何なのさ
0<1<2<･･･が上昇列でない、といつどこで誰がいいました？
幻聴でしょうｗ
いわれているのは以下
「0<1<2…<ωは、無限上昇列ではない」
ニホンゴ、ワカリマスカ？ｗ
968 名前：１３２人目の素数さん[] 投稿日：2021/06/27(日) 21:24:36.76 ID:2cYyqlhC
>>946
>>574の君「ωは上昇列ではない」
>>593の君「ωは上昇列である」
あのもう議論としてあなたは詰んでしまってるんで
てか一週間経って俺がいなくなってそうな状態を見計らっての、突然の勝利宣言は流石に笑える
どんだけ悔しかったんだ
(引用終り)
以上