Von Neumann's modern definition of ordinal numbers superseded whose definition