不完全性定理

哥德尔提出的关于形式演绎系统的元定理,于1931年在“论数学原理和有关系统中的形式不可判定命题”一文中提出论证。它可以表述为:如果形式数论系统是无矛盾的,那么它就是不完全的,形式数论系统的无矛盾性证明不可能在形式数 ......    （本文共 499 字 ）     [阅读本文] >>