re-axiomizing set theory
Now I’m tempted to spread a meme. Have you heard Martin-Loef type theory? In my opinion, it’s a much better foundation of mathematics than ZFC.
Now I’m tempted to spread a meme. Have you heard Martin-Loef type theory? In my opinion, it’s a much better foundation of mathematics than ZFC.