from proveit.logic import EmptySet, Set, Equals %begin axioms

Defining axioms for context 'proveit.logic.set_theory' Subsequent end-of-cell assignments will define axioms %end_axioms will finalize the definitions

Identify the empty set, $\emptyset$, with the empty enumeration, $\{\}$:

enumEmpty = Equals(EmptySet, Set())

%end axioms

Axioms may be imported from autogenerated _axioms_.py