実数

http://d.hatena.ne.jp/ginmath/20050824/1124862810
そりゃ cheap solution といえば cheap なのでしょうが、記号を扱うという行為自体が可能性として可算個のものをこね回すことだけなのだから、ZFCを通してみえてくるものも十分実数体なのではないでしょうか。というよりも、その cheap なものが実数だと思ってました。
もっと豊かな本物の実数があるんでしょうか。。

実数があるという表現はなかなか不思議な感じ。なんというか、この「ある」というのが実在している感じそのままなのだけれども。

でも、本当は自然数が無限下降列を持つとしたら、無限下降列を持たない自然数"も"いると思いませんか。

「体がおかしい」とメモしてあるのが「たいがおかしい」と読み違えて、いったいどうおかしいのかを考え込んだ。

#数学の話をしているようでその外側の話になってますね。