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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
773
(2): 2021/10/31(日)16:54 ID:OPOZLzHw(19/26) AAS
>>770
>>よりよく分かったわ。ありがと

ありがとね
最小値原理は、多分超限帰納法でも使えるんだわ
で、ノイマンが、正則性公理を置いた意図が、それだという(下記)
それが、今回よく分かったよ

お礼に、一つヒントを追加しておくが
>>771(dccを満たす証明について) は
無限列にしか意味ないよ
有限列なら、自明だから
省8
778
(1): 2021/10/31(日)17:11 ID:+PpCGhCF(13/18) AAS
>>773
>最小値原理は、多分超限帰納法でも使えるんだわ
「多分」は要らない
で、>>762
>N∪ω にもそのまま適用できる気がする
はやってみたか?さっさとやれよ!
おまえがω+1の超限帰納法をどう書くか
採点してやっからwwwwwww

> 771(dccを満たす証明について) は
>無限列にしか意味ないよ
省5
801
(1): 2021/11/01(月)07:32 ID:0PUyxUhS(1/3) AAS
>>794
(引用開始)
まず、
<上昇列 0<1<・・・ω と
<上昇列 0<1<・・・<ω は
異なる列ね
(注:別にωの左側にω未満の全ての順序数が現れる必要はない)
それだけじゃね?わかんないか?やれやれ
(引用終り)

レスありがとね
省27
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.047s