Axiom:Axiom of Pairing/Also known as

Axiom
The ' is also known as the '.

Some sources call it the Pairing Axiom.