- 544 名前：１３２人目の素数さん mailto:sage [2012/02/05(日) 23:41:57.51 ]
- >>529
A∧BよりAの方が短い、という意味では公理系の極小性は定義できない？
もちろん、Aと全然違うCとどちらが小さいとも言えないから
集合論と圏論の比較には役に立たないだろうけどさ。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その11
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef