Masimat

Masimat t1_j95kgzg wrote

Matiyasevich's theorem and Godel's incompleteness theorem state that there are mathematical truths that are exclusively true but cannot be proven true. I refuse to believe this. In any given axiomatic system, there is a reason why a statement is true or false. With the right axioms you can prove anything about reality.

2