Proper Class is not Element of Class

From ProofWiki
Jump to navigation Jump to search


Let $\mathrm P$ be a proper class.

Then $\mathrm P$ is not an element of any class, that is:

$\neg \exists A : \mathrm P \in A$


From the definition of a proper class, $\mathrm P$ is not a set.

The rest then follows from the definition of a class.