[過去ログ] Interーuniversal geometryとABC予想(応用スレ)51 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
980(1): 2021/02/20(土)12:13 ID:c8yOLip1(54/65) AAS
>>979
論理だて?考えればわかるけど
もし、自然数から自然数への関数に最小値が存在しないとすると
任意のxについて x<yとなるyが存在して、f(x)>f(y)となる
したがって、f(0)からの無限降下列が存在する
しかし、自然数は整列集合であるから
いかなるnについてもnから0への降下列は有限長
省4
984(3): 2021/02/20(土)12:20 ID:+Wu9Px2F(15/21) AAS
>>980
そんな、対角線論法もまともに書いていない(誤植のある)テキストを、書くやつの言うことなど興味がない。
誤植すら見抜けん信者が。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.027s