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

---

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

---

548(1): 野暮天 2020/04/13(月)16:23 ID:ukZx7597(31/75) AAS
>>530
＞IUTの論文でZFC公理系の公理の数が9個って指摘

ああ、選択公理と置換公理は実は公理図式じゃから
式として数えたら実は無数にあるという話じゃろ？

ま、集合論研究者以外そんなこと知らんじゃろ
あの人らは、そういうことには無頓着じゃからのう

しかし系３．１２の「証明」に集合論とか絡んでおるんか？
省1

---

551: 2020/04/13(月)16:26 ID:CNPa1jiZ(2/3) AAS
>>548
もちろん直接には全く関係ないけど、
そのレベルだと証明という概念に対しても認識の差異があるんじゃないかなと

---

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

---

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

---

ぬこの手 ぬこTOP 0.028s