各位还没睡的死肥宅安安><
任何相容的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中不能被证明
的真命题，因此通过推演不能得到所有真命题（即体系是不完备的）
所以什么是哥德不完备定理?
跟哥德卫士有关吗?
有没有 八卦?
作者:
p90ep90e (IAmTheWalkingDisaster)
2015-09-25 00:20:00你装金山卫士就知道了
作者: aynmeow (只有我跟喵喵) 2015-09-25 00:21:00
可用墨菲定律可以证明: 莫非两者有关系!?? 得证
作者:
marx0126 (What's up?)
2015-09-25 00:21:00跟360手机卫士比较有关
作者: mayjan 2015-09-25 00:23:00
不管你发明的証明系统多好多强 总存在証不出来的命题
作者:
bye2007 ( )
2015-09-25 00:24:00用比较白话来讲 有些数学命题 无法被证明 但也无法被反证
作者: mayjan 2015-09-25 00:24:00
这种証不出来的东西 通常都是牵扯到无限 超乎人类经验到目前为止 这类命题 好像看不到几个
作者: grandwar 2015-09-25 00:37:00
蒙古烤肉跟蒙古骑兵有关吗？