- 263 名前:基礎論 [03/03/16 01:03]
- >>259
<自然数上のk項関係(述語)R(n_1,…,n_k)がTにおいて言及可能(expressible)> ・R(n_1,…,n_k)が成り立つ ⇔ N |= φ(n_1`,…,n_k`) を満たす論理式φ(x_1`,…,x_k`)が存在する <自然数上のk項関係(述語)R(n_1,…,n_k)がTにおいて表現可能(representable)> ・R(n_1,…,n_k)が成り立つ ⇒ T |- φ(n_1`,…,n_k`) ・R(n_1,…,n_k)が成り立たない ⇒ T |- ¬φ(n_1`,…,n_k`) を満たす論理式φ(x_1`,…,x_k`)が存在する ということでいいですか?
|
|