Von Neumann natural numbers