- 52 名前：12 mailto:sage [2011/10/30(日) 15:40:07.63 ]
- >>50
＞初めに与えられた 述語、関数記号が整列されている場合、
で、PAやZFCでは、述語、関数記号が整列されていることは
「よく知られている」のですか？
よく御存知とはおもいますが、関数記号の中には定数記号も含まれます。
定数記号も整列可能である、と断言できるのですね？
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef