4 ms·
Math outside of ZFC is still math, even if not necessarily «useful» math. Mandatory gesturing towards Gödel.
by BlueTemplar 4y ago
Math outside of ZFC is still math, even if not necessarily «useful» math.
Mandatory gesturing towards Gödel.
- gallopingcomp 4y agoI actually agree with you - “the symbols mean something different now” isn’t a bug, it’s a feature. But I was trying to point out (what I saw as) a big ambiguity in parent’s comment.