User:Dfeuer/Union Axiom

From ProofWiki
Jump to navigation Jump to search

Axiom

Let $a$ be a set.


Then $\bigcup a$ is a set.