Inter-universal geometryとABC予想(シン応援スレ) 92

Inter-universal geometryとABC予想(シン応援スレ) 92at MATH

Inter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch76:１３２人目の素数さん
26/06/13 12:17:46.19 2JsZZZYS.net
>実数の公理を裏口から密輸している
>ZFC公理系で実数の公理なんて使えないぞ
と
>で URLﾘﾝｸ(en.wikipedia.org)
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ笑えるんだけど？（＾＾
もテンプレ入りで

次ページ

続きを表示

1を表示