[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
869(1): 2021/11/04(木)06:54 ID:hzGky04A(3/10) AAS
>>866
>>正確に書けば０＜１＜・・・＜ｎ＜ωだから
>そうだよ
理解したんなら、それで終わりだね
>でも、本当は あなた勘違いしてたんだ
いや、勘違いしてたのは君だよ
>で、以前 数学科出身らしい人と論争して、ボコボコにされた（下記）
「数学科出身らしい人」も「ボコボコにされた」も君の主観じゃね？
実際は、
君 「無限シングルトンが存在する」
省13
871(4): 2021/11/04(木)08:02 ID:mTm/SPwz(1/11) AAS
>>867
ようやく分かった？ あんたの>>663の証明がダメなことが
しっかり”極小条件”（松坂の選択公理入り）を、明示的に使わないとね
降下列が有限になるってことの証明に、従属選択公理は必要らしいからね>>865
そもそも、松坂の選択公理使った証明を見たときに、ピンとこないと
「ここ、きっと選択公理が必要なのだろう」ってさｗ
>>868
>ωがシングルトンなら、その唯一の要素はω−１だよね？
不同意
「ωがシングルトン」ではない
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.367s*