[BlueTemplar]

Math outside of ZFC is still math, even if not necessarily «useful» math.

Mandatory gesturing towards Gödel.

[gallopingcomp]

I 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.