>>687
関数の定義から∀x∈(fの定義域)に対してf(x)は必ず存在するけどその時
∀x.p(x,f(x))
と
∀x.∃f(x).p(x,f(x))
とでどう違うと？