Given the following set: x = {{a, b, c,d}, {1,2}}
y = {d, {f,g}}
What set does the Pair Set Axiom state the existence of?
The contents of sets x and y really have no role to play in an application of the pairing axiom to x and y.
Ultimately, what you want from pairing is a guarantee of the existence of a unique set that contains exactly x and y as members (nothing else).
How much work you have to do to get it, after application of pairing, depends on the form of the axiom.
The typical strong form will require only an application of extensionality.
The typical weak form will require an additional step prior to applying extensionality.
Well, the version of the Pairs axiom I was always taught goes as follows;
Informally, this says that given sets and , we have a set containing only and as elements. So, in your case, the Pairs axiom guarantees us the existence of the set - hope this helps, let me know if there's anything you don't get!