主题:【原创】《通鉴评说》文哲系列 -- 唵啊吽
共:💬67 🌺174
参看维基百科
任何一个相容的数学形式化理论中,只要它强到足以在其中定义自然数的概念,就可以在其中构造在体系中既不能证明也不能否证的命题。
相容的(consistent)系统本身就是不矛盾的.
- 相关回复 上下关系8
🙂花谢。长知识了。 唵啊吽 字0 2008-03-09 20:55:54
😉哲学家,只有敬意没有废话了,送花 明语 字0 2006-07-08 11:12:04
😄这篇算是这个系列里最有见地的文章了~花 simplyred 字34 2006-07-05 13:03:49
🙂哥德尔不完备定理不是这么说的
🙂花。 语迟 字0 2006-07-05 10:44:12
🙂唵啊吽不简单呐。想必是哲学界牛人 语迟 字0 2006-07-05 10:43:41
🙂好贴.写得好 语迟 字0 2006-07-04 06:18:21
🙂接着赞 大海 字0 2006-07-01 20:54:17