Provide a theoretical explanation of Gödel's First and Second Incompleteness Theorems. Detail the construction of a Gödel sentence within a formal system capable of arithmetic. Discuss the implications for the limits of mathematical knowledge and whether the human mind can surpass the limitations of formal systems.