Using von Neumann's ordinal numbers (the standard model of the ordinals used in set theory), the successor S(α) of an ordinal number α is given by the formula[REF] .
S(\alpha) = \alpha \cup \{\alpha\}.