Zermelo–Fraenkel set theory
The axiom of pairing says that given two sets, there is a set whose members are exactly the two given sets.  So, given the two sets  and , this axiom says that the set  exists.