>>764
>>>762
>>・∀x∈ℕ.∃(x+1).x<x+1
>>・∀x∈ℕ.∃y.x<y
>>この二つの式は意味違うし
>意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？

・例えば、yを有理数にとって
　∀x∈ℕ.∃y∈Q.x<y とか
・例えば、yを実数にとって
　∀x∈ℕ.∃y∈R.x<y とか
・だから、∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う
　yを自然数に限っても、冒頭の二つの式の意味は違う