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

Victor Makarov viktmak at gmail.com
Thu Mar 18 14:33:28 EDT 2021


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>


More information about the FOM mailing list