Can a notation for ordered pairs in ZFC set theory be introduced as a conservative extension of ZFC without junk theorems?

[Victor Makarov]

Dear FOMers:

Maybe for some of you will be interesting my message (and answers to it)
to a mathematical forum  titled

  Can a notation for ordered pairs in ZFC set theory be introduced as a
conservative extension of ZFC without junk theorems?

  https://math.stackexchange.com/questions/4066257/

Victor Makarov
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210318/618cf122/attachment.html>