>>735
はい、ペアノの公理を前提とするなら ∀x∈N ⇒ x+1:=s(x)∈N なので、∃(x+1).と付ける必要無しは同意です。
但し付けても間違いではなく、付けない式 ∀x∈ℕ.x<x+1 と比較して意味が変わる訳でもないと思ってますが如何でしょう。