Von Neumann natural number