Send the following on WhatsApp
Continue to ChatRealizing Frege’s Basic Law V provably in ZFC, New York, May 2023 https://jdh.hamkins.org/realizing-freges-basic-law-v-provably-in-zfc-new-york-may-2023/
Realizing Frege’s Basic Law V provably in ZFC, New York, May 2023 https://jdh.hamkins.org/realizing-freges-basic-law-v-provably-in-zfc-new-york-may-2023/