Theorems
Proven results, with proofs, prerequisites, and citations.
Well-Founded Induction
#4797
Statement
Description
Monotonicity of Ordinal Operations in the Right Argument
#4817
Statement
Description
Associativity of Ordinal Multiplication
#4815
Statement
Description
König's Theorem
#4832
Statement
Description
Right Continuity of Ordinal Addition, Multiplication, and Exponentiation
#4816
Statement
Description
Uniqueness by Extensionality
#4799
Statement
Description
Existence of the Rank Function
#4804
Statement
Description
Equinumerosity Is an Equivalence Relation
#4819
Statement
Description
Successor of an Ordinal is an Ordinal
#4811
Statement
Description
Ordinal Trichotomy
#4812
Statement
Description
Showing 10 of 5023 theorems