Axiom. pairing
set x → set y → set {x, y}