- 520 名前：１３２人目の素数さん mailto:sage [2012/02/05(日) 19:50:34.43 ]
- >集合論が数学の基礎だというのはまあ違和感はない。
>述語論理上の最小限の言語だろう。
どういう意味で最小限と言っているの？
集合論より大きくない述語論理の言語は存在するのだから最小ではないと思うけど？
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その11
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef