>>11734005Yeah for sure.
So the way a lot of people introduce is as a mathematical take on Epimenide's Paradox "This statement is false" which leads you into a loop.
Gödel reworded it roughly to "This statement cannot be proven."
So you can have "consistency" and "completeness" in your axiomatic system (i.e. your math). Consistency means "Every axiom is True" and completeness means "Everything True has an axiom" so the two kind of bookend each other.
The problem is, there are true things that might not fit an axiom, and without that, cannot be proven. Gödel actually proved that this problem appears in any "sufficiently powerful" system capable of arithmetic. It's unavoidable.
