If you ask me, at least since the invention of the Yablo’s paradox, the ZF is mortally wounded.
Well, there’s nothing revolutionary about that. If you don’t like ZF, then make up your own set of rules. I can show you how to create a different set theory in every topos.
ZF is not some authority that says what is true and what is not. It’s simply a model that people have found very useful in the foundation of mathematics, which has then blossomed into a discipline of its own.
Well, there’s nothing revolutionary about that. If you don’t like ZF, then make up your own set of rules. I can show you how to create a different set theory in every topos.
ZF is not some authority that says what is true and what is not. It’s simply a model that people have found very useful in the foundation of mathematics, which has then blossomed into a discipline of its own.