Talk:Cartesian Product Exists and is Unique

There's a ZF proof here that for sets $A,B$, $A \times B$ exists. This page seems to be in the context of class theory, where existence is trivially proven by comprehension. Should the proof in ZF be moved here so this page has proofs for ZF and class theory? And since the uniqueness proof by extension works for both, should that be the same for the ZF and class versions? --TheoLaLeo (talk) 23:15, 22 November 2021 (UTC)

No, prove this here and then use this as the basis of a second proof of that. --prime mover (talk) 23:19, 22 November 2021 (UTC)