- 61 名前:132人目の素数さん [2011/10/30(日) 17:11:13.56 ]
- >>60
>44のようなことを書いたことが恥ずかしいと思ったらどうかね。 あなたが41で「可算(濃度)モデルにおける完全性定理」 と書いていれば、そういうこともいえたであろうが・・・ >自然数論のモデルというのなら、もちろん、 >整列できないモデルさえ つくれる。 >しかし、今、完全性定理を証明しようとしているので、 >そんなものが問題にならないのは明らかだ。 完全性定理には、モデルの濃度の制限はない。 >要するに偉そうに、答えたり、しているが、 >ちっともわかっていなかったということだ。 「偉そうに」と思ったのは貴方の勝手。 あなたもモデルの濃度を全く考慮していなかった。 つまりわかっていなかった。 あなたは、わからないことは恥と思うのであれば まず自分自身を恥じたらよい。 もっとも、そういう考え方は狂っている、と私は思うが。
|

|