Axiom of empty set

GPTKB entity