Saw this mentioned on the foundations of mathematics mailing list, how very strange ... https://lists.ugent.be/wws/arc/fom/2023-07/msg00014.html https://lists.u

Saw this mentioned on the foundations of mathematics mailing list, how very strange ... https://lists.ugent.be/wws/arc/fom/2023-07/msg00014.html https://lists.ugent.be/wws/arc/fom/2023-07/msg00014.html