>>769
>例えば、yを有理数にとって　∀x∈ℕ.∃y∈Q.x<y とか
>例えば、yを実数にとって　　∀x∈ℕ.∃y∈R.x<y とか
>∃yで放り出すと、yは自然数に限らないから 二つの式の意味は違う
∀x∈ℕ.∃y∈ℕ.x<y　でないと考えねばならない理由があるか？全くない
したがって上記は却下

>yを自然数に限っても、冒頭の二つの式の意味は違う
だから何がどう違うのか？
以下の>>764に全く答えられないのは
君が大学に入れなかった高卒素人だからか？

後者のｙは例えばx+2でもいいとか、そういうことかい？
じゃ、以下は同じ意味かい
∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z
∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z