Axiom of pairing

GPTKB entity