>>911
>>852って単に
「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」
と言ってるに過ぎず、それって君の持論を言い直しただけじゃんｗ
何の証明にもなってないｗ　馬鹿過ぎｗ