Inter-universal geometryとABC予想(シン応援スレ) 92 (160ﾚｽ)
上下前次1-新
76: 06/13(土)12:17 ID:2JsZZZYS(26/29) AAS
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で 外部ﾘﾝｸ:en.wikipedia.org
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾
もテンプレ入りで
上下前次1-新書関写板覧索設栞歴
あと 84 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.549s*