Explain Gödel's First Incompleteness Theorem in detail. Discuss the requirements for a formal system to be subject to this theorem (consistency and recursive enumerability). Construct a logical argument explaining why there must exist true statements within such a system that cannot be proven within the system itself.