数学中的哥德尔定理究竟对于哪些数学体系是成立的?求几个简单的例子.\x09拜托了各位 谢谢

问题描述:

数学中的哥德尔定理究竟对于哪些数学体系是成立的?求几个简单的例子.\x09拜托了各位 谢谢

对于任意的包含皮亚诺公理的数学体系成立,也就是说对于包含所有算术的体系都成立.例子的话,比如说皮亚诺算术、ZFC集合论等等.