主题：【原创】上帝之书 -- 我爱莫扎特
共:💬277 🌺1121
公理体系的完备性：对属于该公理体系的命题，必须能够给出基于给定公理的证明或者否定，也就是说，公理必须足够多。
很遗憾，由于哥德尔不完备性定理，可以说大部分公理体系都彼此彼此。
你这里说的完备性似乎是另一种含义：理论所描述的对象必须包罗万有，这个根本不可能。
- 相关回复 上下关系8
压缩 2 层
🙂请教一下 3 预备役师的防化 字546 2010-01-06 17:23:33
🙂欧几里得公理体系 2 汽车零部件 字1459 2010-05-18 01:44:46
🙂兄台好帖，寓教于乐啊 1 预备役师的防化 字322 2010-05-18 06:09:36
🙂你对完备性的理解是什么？
🙂关于“完备” 1 预备役师的防化 字887 2010-05-19 06:47:07
🙂所谓命题属于公理体系 3 汽车零部件 字610 2010-05-19 18:11:19
🙂能给我一个特别简单的例子么 1 预备役师的防化 字288 2010-05-19 18:34:23
🙂这么明显的例子都忘了？第五公设不可证明 2 汽车零部件 字240 2010-05-19 18:53:40