再指出另一個嚴重濫用老哥定理的地方：
送交者: littelfat 2009月04月20日10:54:15 於 [教育學術] 發送悄悄話
回 答:Thanks a lot will get back 2 u 由 空軍大院 於2009-04-20 10:22:20
倒不是什麼“容納自然數歸納公理”這一條見到確實。關鍵是老哥定理只是說：必然有不可證明(證否)的命題。這不等於說，你給出的一個具體命題定不可證。至於人格化上帝，本來就是基督教作為宗教體系的一條公理(及信仰的宣稱)，還用得著從別的公理去推啊？即使一個公理體系推不出某個命題，那麼如有必要，要完善這個體系，直接把這個命題作為公理添加進來不就了結了。策莫羅的選擇公理就是作為一條公理添加進來的，為數學中的超限證明提供了依據。

在數字發展上，從自然數到整數，到有理數，到實數這個完備集合，本來就是逐步添加元素(即不存在原來集合中的元素)的結果。如果僅從原始集合本身去歸納，是根本找不著那些新添加的元素的。難道它們不存在了？