User:Asalmon

List for me to link together various pages, sorted by category, then by importance, then by lexicographical order (if necessary).

--Transitive Classes--

Definition:Transitive Class

Every Ordinal is a Transitive Class

--Ordinals--

Definition:Ordinal

Every Ordinal is a Transitive Class

Intersection of Two Ordinals is Ordinal

--Foundational Relations--

Definition:Foundational Relation

Foundational Relation has no Relational Loops

Epsilon is Foundational

Axiom:Axiom of Foundation

No Membership Loops