- 611 名前：１３２人目の素数さん mailto:sage [2012/09/02(日) 00:17:41.65 ]
- 実数とか実数上の関数とかその関数とかをone-sortで表現する方法って集合論以外に有名なものある？
通常のmany-sortをone-sortに書き換えたら、もう殆ど集合論と同じ代物だよね。
超準解析でもIST(internal set theory)とかあるけど、完全に集合論だし。
いずれにせよ標準的でないないし有名でない定式化を使うのなら説明が必要。
その説明をしようともしないで俺様用語法で教皇突破しようとするからゆとりモンスターと呼ばれるんだ。
