Successor of Omega

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