• Transitive Set TRAN
• Ordinal Number ORD
• Order Type OT
• Ordinal Successor SUC
• Inductive Set INDS
• Limit Ordinal LIMO
• Finite Ordinal FINO
• Finite and Infinite Set FIN
• Countable Set CNT
• Induction IND
• Transfinite Induction TIND
• Sequence TSQ
• Limit of Ordinal Sequence OSQL
• Continuous Ordinal Sequence COSQ
• Normal Ordinal Sequence NOSQ
• Transfinite Recursion TREC
• Ordinal Arithmetic OAR