Im a math-let, but im intrigued by Gödel's incompleteness theorem and the fact that there might be correct mathematical statements that cannot be proven. But i also heard that he's often very misunderstood.

Can anyone explain what Gödel really proved and what the consequences of his theorems are?

Can anyone explain what Gödel really proved and what the consequences of his theorems are?