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

---

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

---

951(1): 2021/03/08(月)12:49 ID:hW/TJfzK(2/16) AAS
>>948

「選択公理から矛盾を導くことができるという仮設は矛盾」を
「選択公理から矛盾を導くことはできない」
と勝手に解釈するのはやめたほうがいいんじゃないでしょうか。

そもそも人に求めるなら、
自分の言動に責任を持って下さい。
「選択公理が無関係である」こと
省1

---

955: 2021/03/08(月)13:42 ID:tHlTN7kN(12/32) AAS
>>951
>「選択公理から矛盾を導くことができるという仮設は矛盾」
そんなこと証明されてませんけどね

ZFが無矛盾なら、ZF+ACも無矛盾　（ゲーデル）
ZFが無矛盾なら、ZF+¬ACも無矛盾　（コーエン）
なら証明されてますけどね

---

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

---

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

---

ぬこの手 ぬこTOP 0.042s