Successor of Omega

Theorem

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