#ordinal number #ε₃ #cantor normal form #transfinite induction #well-ordering #foundational mathematics