誤爆スマン
再投下ｗｗ
三歳児のおサルは、いつまでたってもωの理解が進まないなｗ
過去スレでもコテンパンにやられたのに、学習しないやつらだｗ
長いが再録するよｗｗｗ
＜過去レス再録＞（下記のスレ55の158,574,593とスレ56の104）
Inter-universal geometry と ABC予想 (応援スレ) 55
https://rio2016.5ch.net/test/read.cgi/math/1623558298/158
158 名前：１３２人目の素数さん[sage] 投稿日：2021/06/17(木) 09:25:42.97 ID:40Ayiq4a
>>141
猿回し君は、抽象数学を具体的に目で見て理解したいらしいが
残念ながら無理筋なのでキレイサッパリ諦めよう
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ
176 名前：１３２人目の素数さん[] 投稿日：2021/06/17(木) 10:27:00.92 ID:1ixenOss [2/10]
>>172
０＜・・・＜ω
を見たときに、自分は
a:{0, …, ω}→{0, …, ω}でa(x)=xとなる列を思い浮かべたな
したがってインデックス集合{0, …, ω}が無限集合なので無限列と
179 名前：１３２人目の素数さん[] 投稿日：2021/06/17(木) 11:25:31.78 ID:1ixenOss [3/10]
>>178
上昇列の定義を確認したかったが見つからなかったので、自分で考えてみたが、
インデックス集合をIとして∀i,j∈I i≦j⇒ai≦ajが成り立つことかと思った
この場合、I={0, …, ω}から任意に2元i,jを取ってくると、i≦j⇒i=ai≦aj=jは自明に成り立つので、
a:{0, …, ω}→{0, …, ω}でa(x)=xとなる列は上昇列になるかなと
188 名前：１３２人目の素数さん[sage] 投稿日：2021/06/17(木) 13:13:12.50 ID:fmi4nuTk [8/15]
>>179
＞上昇列の定義を確認したかったが見つからなかったので、自分で考えてみたが、
それ、多分合っていると思うよ
そもそも、この話は下記の
整礎：真の無限降下列をもたない
正則性公理：∀xについて、無限下降列である x∋ x1∋x2∋ ... は存在しない
の議論に由来している
つづく
