再指出另一个严重滥用老哥定理的地方：
送交者: littelfat 2009月04月20日10:54:15 于 [教育学术] 发送悄悄话
回 答:Thanks a lot will get back 2 u 由 空军大院 于2009-04-20 10:22:20
倒不是什么“容纳自然数归纳公理”这一条见到确实。关键是老哥定理只是说：必然有不可证明(证否)的命题。这不等于说，你给出的一个具体命题定不可证。至於人格化上帝，本来就是基督教作为宗教体系的一条公理(及信仰的宣称)，还用得著从别的公理去推啊？即使一个公理体系推不出某个命题，那么如有必要，要完善这个体系，直接把这个命题作为公理添加进来不就了结了。策莫罗的选择公理就是作为一条公理添加进来的，为数学中的超限证明提供了依据。

在数字发展上，从自然数到整数，到有理数，到实数这个完备集合，本来就是逐步添加元素(即不存在原来集合中的元素)的结果。如果仅从原始集合本身去归纳，是根本找不著那些新添加的元素的。难道它们不存在了？