3 ms·
That doesn't work as written for uncountable sets.
by devit 6y ago
That doesn't work as written for uncountable sets.
- kmill 6y agoThat's true, but there's an amusingly odd theorem (downwards Lowenheim-Skolem) that implies that if set theory has a model, it has a countable model. So, in a sense, all sets are countable. I think this just leads you to the next problem, which is that (I think) it would be undecidable normalizing and sorting these sets.