Honestly, the snarky comment was because I was exasperated by gizmo686's nitpick. He made a point that isn't very interesting, and moreover didn't contradict w

Honestly, the snarky comment was because I was exasperated by gizmo686's nitpick. He made a point that isn't very interesting, and moreover didn't contradict what I said, though it was phrased in a way that looked like it did. I hate that kind of manipulation, and it got to me. > and moreover is at odds with how mathematics actually works Ah now there's something interesting. How exactly was it at odds with maths? I never said anything about how a theorem was true, or provable. Just proven. If you could tell me how that was at odds with how maths works, I'd most probably learn something.