guptanishank

Maybe not prove everything perfectly? Say we have a language which says that this statement "currently points to being true". In the sense a language ...

Thank you for that link! This one after my exams. But I got the essentials here. I don't really care about the law of excluded middle. But I just came...

Hahahaha

Ah! So that is the secret of Kurt Godel's theorems.

Thank you fdrake and others! Just one last thing: Where does the law of excluded middle fit into all this? A statement must be either true or false. S...

I thought that only applied to the Riemann hypothesis?

Yeah, I am not denying that. Not at all! In fact one could prove a statement to be true, even outside the axioms I guess. The question however is if a...

Yes, in a sense that is what I meant. That there might be unproven truths, but we try and map all the truths to statements in mathematics which can be...

Because true statements have to be proven as true?

What? How can something unprovable be true?

I understand the reverse statement which you said. But, my point is that how do we even know if a mathematical statement is true or not without an axi...

I did not get your answer. Some of the sentences were not clear, sorry. Will read the link you sent.