13/11/17 20:36:50.77
>>306
>∀x.P(x)が公理の帰結である場合は
>単に任意の要素 c に対して P が成り立つように P の解釈を決める
そういってしまえばそうなのですが、それが∀x∃y.Q(x,y)の形のときには
悩ましくないですか？任意の要素xのそれぞれに対して、Q(x,y)となるyを
作らないといけなくなって、そうやって作ったy達すべてに対して，また
Q(y,z)となるzを作って．．．というふうにずっと続きませんか
13/11/17 20:36:50.77
>>306
>∀x.P(x)が公理の帰結である場合は
>単に任意の要素 c に対して P が成り立つように P の解釈を決める
そういってしまえばそうなのですが、それが∀x∃y.Q(x,y)の形のときには
悩ましくないですか？任意の要素xのそれぞれに対して、Q(x,y)となるyを
作らないといけなくなって、そうやって作ったy達すべてに対して，また
Q(y,z)となるzを作って．．．というふうにずっと続きませんか