Mathematical logic and foundations

Given sets x and y, what existence claim is provided by the pairing axiom?