Von Neumann ordinal

Summary