- 312 名前：１３２人目の素数さん [2013/11/18(月) 00:14:18.42 ]
- >>311
＞∀x∃y.Q(x,y) が公理にある場合、その公理に従えば、最初にQ(a,b)とすれば、
後は、Q(b,c), Q(c,d), Q(d,e),．．．となりますよね？
意味不明
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その14
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef