Definition:Von Neumann Construction of Natural Numbers