Von Neumann definition of ordinals