|
|
|
|
|
|
by Smaug123
1761 days ago
|
|
|
It's not about the axioms, which are perfectly fine as set theory. It's about the encoding of geometry in set theory, for which there are many options, some with nicer properties than others. Cf the original link in the thread, https://twitter.com/andrejbauer/status/1428471658088738818, which argues that you should model locales rather than points (and I guess if your foundation is set theory then you should use set theory to model those locales, though it sounds rather painful to me, a layman). |
|
|