26/03/06 15:29:44.37 aD3/gpO/.net
>>6
毎回そこまで戻って確認してるのが>>2
10:１３２人目の素数さん
26/03/06 15:50:06.93 RU9ZcGlR.net
test
11:１３２人目の素数さん
26/03/06 15:52:11.14 ej/eq+J2.net
>>9
「公理から出発」の意味が分からないのが>>9
12:１３２人目の素数さん
26/03/06 16:02:52.74 ej/eq+J2.net
定理１ 公理⇒主張１
定理２ 主張１⇒主張２
定理３ 主張２⇒主張３
・・・
であるとき、主張ｎを主張するためには定理１、定理２、・・・、定理ｎの順で証明すればいいだけの話。実際、○○論は普通そういう構成になっている。
こんな簡単なことも分からないって高校生なのかな？
13:１３２人目の素数さん
26/03/06 17:02:15.54 aD3/gpO/.net
>>11
毎回公理から確認してないのか>>4,5も書いているように>>2は全部戻らないとダメよ
14:１３２人目の素数さん
26/03/06 17:03:40.72 aD3/gpO/.net
一回理解したからいいとかそういう生やさしい者じゃ無いのが>>2
15:１３２人目の素数さん
26/03/06 17:20:16.22 ej/eq+J2.net
>>2は証明を読まなくてよいと言ってる>>1への返答であることも読み取れない国語力じゃ数学なんてやっても無駄なのになんで数学板に居るんだろう？
16:１３２人目の素数さん
26/03/06 18:51:18.51 aD3/gpO/.net
>>15
それが過剰であることを理解していないのが>>2
17:１３２人目の素数さん
26/03/06 19:12:44.94 ej/eq+J2.net
証明を一回理解した と 証明を読まない の区別がつかない認知症が>>16
18:１３２人目の素数さん
26/03/06 21:06:25.57 RU9ZcGlR.net
test
19:１３２人目の素数さん
26/03/07 18:36:43.08 /zzHyu0p.net
>>6
実数の公理から出発してもそれを満たす集合の存在は証明されない
こんなことは学部生はおろか高校生でも分かること
したがって、
>○○論って普通公理から出発しない？
などと思ってる人は大学数学を理解できていない可能性が高い
20:１３２人目の素数さん
26/03/07 19:35:43.81 G9f+JYqt.net
>>19
実数論のモデルの存在は集合論の範疇。
実数論と集合論の区別もつかない高校生かな？
21:１３２人目の素数さん
26/03/07 19:46:43.04 G9f+JYqt.net
>>19
君は実数論と実閉体の理論の違い分かる？
前者のモデルは範疇的、後者のモデルは非範疇的なんだが、その理由は分る？
自然数N⊂実数Rであるにも関わらず実閉体の理論は完全なんだがその理由は分る？
22:１３２人目の素数さん
26/03/07 19:48:54.31 G9f+JYqt.net
この程度の質問にも答えられない学力で>>19みたいな発言は恥ずかしいから気を付けよう
23:１３２人目の素数さん
26/03/07 20:21:29.14 G9f+JYqt.net
>>19
君、実数論のモデルがアルキメデス的である理由分かる？
実数論のモデルがアルキメデス的かつ範疇的であるにもかかわらず非アルキメデス的な超実数体が存在する理由分かる？
24:１３２人目の素数さん
26/03/07 20:41:42.06 G9f+JYqt.net
>>19
君、超実数体が可算モデルを持つこと知ってる？
実数体を包含する超実数体が可算モデルを持つって面白いと思わない？
25:１３２人目の素数さん
26/03/07 21:17:45.38 Q4E3qqRa.net
馬鹿が連レスしてるｗ
26:１３２人目の素数さん
26/03/07 21:22:05.68 QSxUAVHs.net
基礎論に興味持ってる時点で数学オンチ確定
読む価値無し
27:１３２人目の素数さん
26/03/07 21:24:36.92 QiZxsQXu.net
>>20
じゃ、私は集合論の公理から出発しとらんので、>>6は間違いです
訂正と謝罪をして下さい
28:１３２人目の素数さん
26/03/07 21:26:59.78 G9f+JYqt.net
>>26
基礎論に対する偏見すごくて草
URLﾘﾝｸ(ja.wikipedia.org)
「実閉体の理論は初めは代数学の中で発展したものだけれども、重要な示唆はモデル理論からもたらされた。」
29:１３２人目の素数さん
26/03/07 21:28:46.87 G9f+JYqt.net
>>27
いみふで草