[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
668
(2): 2021/10/30(土)05:04 ID:jsIfaBFZ(1/23) AAS
>>667
zgBubH+2はなにをトチ狂ってんだ?

まず「<上昇列 0<1<・・・ω という無限列があり得る」の
0<1<・・・ωには、全ての自然数が現れる

しかし一方「<上昇列 0<1<・・・<ω が有限列にしかなり得ない」の
0<1<・・・<ωは、当然現れない自然数がある

そりゃそうだろ
0<ω
0<1<ω
0<1<2<ω
省19
669
(1): 2021/10/30(土)05:08 ID:jsIfaBFZ(2/23) AAS
>>668は >>646の【問題】
>「無限に続く真の下降列がない」が
>「任意に長い真の降鎖列が存在する」
>(つまり、列の長さの最大値が存在しない)
>例を示せ
の答えね

つまりωがその例だってこと
670
(1): 2021/10/30(土)06:33 ID:zgBubH+2(2/31) AAS
>>668-669
トチ狂っているのは、あなたです

命題A「<上昇列 0<1<・・・<ω が有限列にしかなり得ない」
の証明に、あるn∈Nを持ってきて
命題B「<上昇列 0<1<・・<n<ω が有限列になる」
という例を作っただけでしょ?

それって証明かい?w
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.339s*