Set is Small Class

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $x$ be a set.

Then $x$ is a small class.


Proof

$x = x$

Therefore by Existential Generalisation:

$\exists y: x = y$

$\blacksquare$



Sources