- 135 名前：伊丹公理 ◆EniJeTU7ko [05/01/10 23:36:57]
- >>133
＞ある数学的構造に対して完全な公理系が見つかれば，その構造における命題の真偽は決定可能である．
完全な公理系では、公理が有限個なら、全ての論証を列挙する事によって、
真理値が有限回の計算で求められるが無限個なら一般には分からない。
しかし多くの場合帰納的可算であるから、決定可能。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef