Inter-universal geometry とABC 予想58
(805ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
573(1): 10/09(木)22:41 ID:DRvnCGKK(1/2) AAS
>>399 ->400
JDBのコメント
追伸.
デビッド・ロバーツ氏、
強到達不可能な基数と ZFC に関する
私の不正確な表現を指摘していただき、ありがとうございます。
PDF 内の表現を「ZFC には存在しない」から「ZFC ではその存在を証明できない」に変更しました。（ただし、構成主義の観点からは、この 2 つの表現はそれほど違いがないかもしれません）。
省3
574: 10/09(木)22:46 ID:DRvnCGKK(2/2) AAS
・Reddit にあったコメント.
スピヴァクの本のこのジョークが好き:
「この定理の証明:これは、私たちが導入した定義から自明です。
QED
注: この定理が本当に自明なのではなく、私たちがこのように主張できるように宇宙と宇宙際の「定義」を作成したのです。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.405s*