axiom of extensionality

GPTKB entity