>>778
自然数の集合 N がどのような定義にしろ n ∈ N ⇒ n + 1 ∈ N はさすがに自明だろ