Welcome guest
You're not logged in.
277 users online, thereof 1 logged in

The extensionality principle and the a axiom of empty set have the the following consequence:

## Corollary: Uniqueness of the Empty Set

The empty set $\emptyset$ is unique.

| | | | | Contributors: bookofproofs

(none)