13/10/03 23:31:03.32
では解説しましょう。
完全性定理とは、
|= φ ←→ |- φ
第一不完全性定理とは、
Ｎ |= φ ← PA |- φ （右向きの矢印が成り立たない）
という状況をあらわしている。
13/10/03 23:31:03.32
では解説しましょう。
完全性定理とは、
|= φ ←→ |- φ
第一不完全性定理とは、
Ｎ |= φ ← PA |- φ （右向きの矢印が成り立たない）
という状況をあらわしている。
13/10/03 23:31:03.32
では解説しましょう。
完全性定理とは、
|= φ ←→ |- φ
第一不完全性定理とは、
Ｎ |= φ ← PA |- φ （右向きの矢印が成り立たない）
という状況をあらわしている。