>>762
>・∀x∈ℕ.∃(x+1).x<x+1
>・∀x∈ℕ.∃y.x<y
>この二つの式は意味違うし

意味違うとわめく根拠は、後者のｙは例えばx+2でもいいとか、そういうことかい？

じゃ、以下は同じ意味かい

∀x ∈ ℕ. x<x+1∧∀z ∈ ℕ. x<z ⇒ x+1<=z
∀x ∈ ℕ. ∃y ∈ ℕ. x<y∧∀z ∈ ℕ. x<z ⇒ y<=z