Collection of All Ordered Sets is not Set

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\mathrm {OS}$ denote the collection of all ordered sets.

Then $\mathrm {OS}$ is not a set.


Proof


Sources