Definition
Let be an ordinal. Then is defined inductively as follows:
Where is the next largest well-ordered cardinal.
As such all ordinals are canonically well-ordered, and therefore equated with some ordinal.
Let be an ordinal. Then is defined inductively as follows:
Where is the next largest well-ordered cardinal.
As such all ordinals are canonically well-ordered, and therefore equated with some ordinal.