Element of Every Transitive-Closed Class is Ordinal

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $x$ be a set such that $x$ is an element of every transitive-closed class.


Then $x$ is an ordinal.


Proof




Sources