- 70 名前：１３２人目の素数さん mailto:sage [2017/03/15(水) 15:07:23.46 ID:T82hLbhi.net]
- >>54
τの任意のモデルに対してφが真となること
τからφが証明可能であること
これらが同値なことが完全性定理なわけですが、不完全性定理の文は自然数の標準モデルの場合は真ですがそれ以外の場合はそうではないらしいからです
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
分からない問題はここに書いてね425
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef