Successor of Omega

Theorem

 * $\N + 1 = \lbrace \N, 0, 1, 2, ...\rbrace$