论文部分内容阅读
不完备定理,是数理逻辑发展过程中的一个里程碑,它标志着自希腊时代以来,以内在“同一性”哲学为指导的形式逻辑发展到了其最高峰.与此同时,西方离散二分特色的逻辑思维模式基于内在矛盾——悖论的暴露开始被明确地提出.上述内在矛盾的存在,即协调时不完备抑或完备时不协调有其特定的适用范围——强公理系统,而并非具备绝对的普遍适用性.