User:Alexelam/Sandbox/Axiom:Axiom of Nontriviality

There exists a Set that contains an element.