Explain Gödel's first incompleteness theorem. Discuss how it demonstrates that in any consistent formal system capable of basic arithmetic, there exist true statements that cannot be proven within the system.