advanced
哥德尔不完备性定理
解释数学逻辑系统的局限性。
📝 Contenido del prompt
请解释哥德尔第一和第二不完备性定理。为什么这意味着在任何包含基本算术的公理系统中，都存在既不能被证明也不能被证伪的命题？请用通俗的语言（如哥德尔句）说明其证明思路，并讨论这对希尔伯特计划的影响，即我们是否能建立一个完美且无矛盾的数学大厦。