第二に（こちらがAIにとっては重要）、彼らの業績が意味するのは、その限界の中でなら任意の数学的推論を機械化できるという事実だった。
他们的答案令人震惊：首先，他们证明了数理逻辑的局限性；其次（这一点对AI更重要），他们的工作隐含了任何形式的数学推理都能在这些限制之下机械化的可能性。