# Set is Small Class

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$