>∀x∈ℕ.∃(x+1).x<x+1
>はOKってことね?

わざわざ∃(x+1).とつける必要はないけどね