淘客熙熙

主题:【原创】《通鉴评说》文哲系列 -- 唵啊吽

共:💬67 🌺174
全看分页树展 · 主题 跟帖
家园 哥德尔不完备定理不是这么说的

参看维基百科

任何一个相容的数学形式化理论中,只要它强到足以在其中定义自然数的概念,就可以在其中构造在体系中既不能证明也不能否证的命题。

相容的(consistent)系统本身就是不矛盾的.

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河