魯實

新年願望 缺點不斷改善，錯誤有人提點。

問題討論 JoeJones兄： 有關您對李學徒先生的回應，我相信您是很誠懇的。不過，您的論証並不能成立。因為您只考慮到S為一階理論，但忽略了根據Lowenheim-Skolem Theorem，當一個一階理論有一模型，則此一階理論即有一可數模型(denumerable model)。又根據Godel 1930的Compactness Theorem，只有當假設系統S沒有模型，S才是不一致的。 謹提供以上一點給您考慮。雖然您的論証不能成立，不過亦是很好的嘗試。謝謝您。