Axiom of Pairing

GPTKB entity