- 82 名前：42 mailto:sage [2011/10/30(日) 23:25:54.39 ]
- >>77
もととなるものと、それをもとにして生成する規則の二つがあればよいということでしょうか？
形式的体系でいえば、もととなるのは公理で、生成規則は推論規則になります。
項でいえば、0と変数がもとなるもので、Sと+と・が生成規則になると。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef