- 304 名前：１３２人目の素数さん mailto:sage [2013/11/17(日) 13:56:45.66 ]
- 途中で送信してもうた
∃xψ(x) という形の文が真に なるためには、具体的に ψ(a) が真になるような対象 a が必要
Γ∪{∃xψ(x)} が無矛盾っていうのは、単に、「Γと∃xψ(x)を仮定して矛盾がみちびかれることは無いよ」って意味だから
これだけでは、構造を入れたときに ∃xψ(x) が真になる保証はない
なので、実際に ψ(a) になる,っていう文をいれとかなきゃならない、ってことなんじゃないかな
∀xψ(x) の場合は、対象が無くても別に問題ないので、存在を考える必要がないんだと思う
