>>12356612your post tells me that you don't fucking know what you're spouting and that you've never actually read the proof of the theorem yourself.
First of all, the theorem deals with axiomatic logic. It has nothing to do with discrete math. "Discrete" already implies there's a topology. Gödel's theorem is about logic, you don't need topology for it.
Secondly, you don't prove axioms BY DEFINITION you absolute fucking mongrel. God people like you make me seethe. You can't make analytical statements without any kind of synthetic premise or it's just meaningless. This isn't some kind of arcane knowledge either, this shit's been known since Aristotle and is taught in every basic predicate logic course. Why brainlets like you have a problem with it is beyond me.
https://plato.stanford.edu/entries/aristotle-logic/Lastly, math does not deal with whether math is real or not. That's philosophy, more specifically epistemology. Definitely has nothing to do with Gödel's theorem.
