[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

975(3): 2022/01/09(日)20:03 ID:LV2O1tR+(15/17) AAS
>>968
”>>964
引用開始
　1.V_0={}
　2.αが順序数の時、V_αが定義されているとして
　　V_(α+1)=V_αの冪集合P(V_α)
　3.αが極限順序数の時、V_α=∪[β<α]V_β
　4.Vは∪[α]V_αである。
引用終了
はい、どこにも「無限回操作する」なんて書かれてません。”
省5

---

978: 2022/01/09(日)20:08 ID:tBwtbSr8(16/17) AAS
>>975
薄葉氏に「あなたは超限回の操作を行ったんですか？」と問い合わせては？
もし否定されたなら「嘘書いてんじゃねーよ」と文句言ってやりましょう。

---

980: 2022/01/09(日)20:37 ID:tBwtbSr8(17/17) AAS
>>975
あなたには帰納的定義の有用性が理解できないようですね。
数学的帰納法が成立するのは大元を辿ればNが帰納的に定義される帰納的集合を用いて定義されているからです。
そして数学的帰納法が適用できれば命題P(n)が任意の自然数nで真であることを証明可能です。
これ有用だと思いませんか？
逆に数学的帰納法を用いずにこんな証明が可能と思うならその証明法を挙げてもらえますか？
まさかあらゆる自然数について証明すればいいなんて言わないですよね？

---

982(8): 2022/01/09(日)23:51 ID:LV2O1tR+(16/17) AAS
>>975 補足

”>>964
引用開始
　1.V_0={}
　2.αが順序数の時、V_αが定義されているとして
　　V_(α+1)=V_αの冪集合P(V_α)
　3.αが極限順序数の時、V_α=∪[β<α]V_β
　4.Vは∪[α]V_αである。
引用終了

１．繰り返すが、上記1〜4の操作の回数を、各1回とカウントして、
省21

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.220s*