Axiom of empty set

ID: axiom-of-empty-set

New to topics? Read the docs here!