Inter-universal geometry と ABC予想 (応援スレ) 74 (954ﾚｽ)
上下前次1-新
552(2): 08/31(日)06:51 ID:yvLlCc7F(1/16) AAS
>>539 ◆yH25M02vWFhP
>補足するよ
>A=S3=S(S(S(ω)))＝{0,1,2,・・・,ω,S(ω),S(S(ω))} としよう
>>541
>これは酷い。
>S(S(ω))∈S(S(S(ω)))∧¬S(S(S(ω)))∈S(S(S(ω))) だから
>S(S(S(ω)))は帰納的集合ではない。
>よってAにはなり得ない。
>>543 （HNおよび◆yH25M02vWFhP なし）
（当該箇所を全く修正せず再投稿）
>>545 ◆yH25M02vWFhP
>「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
「●違いの俺様に構うな 人生ムダにするぞ」
といってるのかな？ ◆yH25M02vWFhP
Aは「無限公理により存在する集合」であって、ただの「無限集合」ではないよ
無限順序数oでも、後続順序数であれば
x∈o かつ ¬(s(x)∈o)
となる最大元xが存在してしまう
だから無限公理を満たす順序数は、極限順序数である必要がある
（そして極限順序数でありさえすればいい筈である）
「無限公理により存在する集合」は順序数でなくてもよいが
仮に順序数に制限したとすると、その中での帰納的部分集合の共通集合は
極限順序数の中の最小のωになる
それだけのこと
でも、
「ωは0から要素を無限回追加することでのみ構成される最初の集合」
という思い込みにとらわれたままの
●違いさんには受け入れられない助言だったかな
上下前次1-新書関写板覧索設栞歴
あと 402 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s