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