不完全性定理

哥德爾提出的關(guān)于形式演繹系統(tǒng)的元定理,于1931年在“論數(shù)學(xué)原理和有關(guān)系統(tǒng)中的形式不可判定命題”一文中提出論證。它可以表述為:如果形式數(shù)論系統(tǒng)是無矛盾的,那么它就是不完全的,形式數(shù)論系統(tǒng)的無矛盾性證明不可能在形式數(shù) ......    （本文共 499 字 ）     [閱讀本文] >>