- 200 名前：１３２人目の素数さん mailto:sage [2007/03/14(水) 15:47:09 ]
- すみません
書き方が良くなかったです
前のはなかったことにして、
定項（数項）０、１、２、・・・があって
関数記号ｓがなし、
関数記号＋があって、
∃ｘ（０＋ｘ＝ｘ）が導出可能で
０＋（０＋１）＝（０＋１）を仮定して⊥を導出できれば、⊥を導出可能、という導出はダメですか？
ということでした
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド その３
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef