13/11/18 00:14:18.42
>>311
＞∀x∃y.Q(x,y) が公理にある場合、その公理に従えば、最初にQ(a,b)とすれば、
後は、Q(b,c), Q(c,d), Q(d,e),．．．となりますよね？
意味不明
13/11/18 00:14:18.42
>>311
＞∀x∃y.Q(x,y) が公理にある場合、その公理に従えば、最初にQ(a,b)とすれば、
後は、Q(b,c), Q(c,d), Q(d,e),．．．となりますよね？
意味不明
13/11/18 00:14:18.42
>>311
＞∀x∃y.Q(x,y) が公理にある場合、その公理に従えば、最初にQ(a,b)とすれば、
後は、Q(b,c), Q(c,d), Q(d,e),．．．となりますよね？
意味不明