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

[Josef Urban]

Chad Brown's FMM'19 keynote discussing "fake theorems" and combining HOL
and set theory may be interesting in this context:
http://grid01.ciirc.cvut.cz/~chad/host.pdf .

Josef

On Thu, Mar 18, 2021, 20:39 Victor Makarov <viktmak at gmail.com> wrote:

> 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/6e0cbf0d/attachment.html>