「無矛盾な理論はモデルを持つ」という定理は、構文論から意味論への言い換えに過ぎないのではないかと思っていたのですが、色々と考えているうちに頭がこんがらかってきました。 ∃xφ(x)を付け加えるとω矛盾するが無矛盾な体系Tにおいて、定数cを加えてφ(c)…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。