- 700 名前：１３２人目の素数さん mailto:sage [2011/08/25(木) 21:50:19.00 ]
- 当たり前のことだが、１階の述語論理といえば、論理に関する公理以外
含まないものをいう。
∀a∀b(a＜b)
なんていうのは、論理以外の公理である。ただ、699 に書いてあることは、
論理と構造の関係がわかっていないことが顕わとなっている。
< がどう解釈されるかは自由なのだから、それでは偽となるとはいえない。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その8
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef