User:Asalmon
From ProofWiki
List for me to link together various pages, sorted by category, then by importance, then by lexicographical order (if necessary).
A side note - I always like strict order relations. I prefer $<$ to $\le$.
Contents |
Foundational Relations
- Foundational Relation
- Axiom of Foundation
- No Membership Loops
- Epsilon is Foundational
- Foundational Relation Subset
Transitive Classes
Ordinals
- Definition:Ordinal
- Principle of Transfinite Induction
- Principle of Transfinite Recursion
- Alternate Definition of an Ordinal
- Burali-Forti Paradox
- Ordinal is Well-Ordered by Epsilon
- Every Ordinal is a Transitive Class
- Intersection of Two Ordinals is Ordinal
- Ordinal Class
- Ordinal Class is Ordinal
- Ordinal Membership Trichotomy
- Ordinal Proper Subset Membership
