逻辑的由来(转)

哥德尔不完备性定理是数理逻辑学中论述形式公理化系统局限性的两条重要定理，它由伟大的奥地利数学家哥德尔于1931年提出。哥德尔写道“众所周知，数学朝着更为精确方向的发展，已经导致大部分数学分支的形式化，以致人们只用少数几个机械规则就能证明任何定理。因此人们可能猜测这些公理和推理规则足以决定这些形式系统能加以表达的任何数学问题。下面将证明情况并非如此。