所以Goedel为啥要费劲编码，心证即可：不管回答公理系统能不能推出所有定理，您都丧失了自己的佛性。同曲同工，是不是更妙？

所有跟帖： 

• 你理解反了，你要问老荷为啥要引无门关：已经有了Godel 为啥要引无门关：） -JSL2023- ♂ (130 bytes) () 10/27/2024 postreply 00:28:54

• 1. 更有趣味性 2. “无门关”认为语言不可靠，因为容易形成矛盾，但却又要依靠语言来传授知识。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 12:05:00

• Goedel推出某些形逻数学系统不可靠，但数学家又要用这些系统来证明。这是一个类比方便理解。再细的等我周末要有空写个长篇。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 12:07:00

• 那不就有关联了吗？道可道与无门关有什么不同？别又等大半年：） -JSL2023- ♂ (133 bytes) () 10/27/2024 postreply 15:35:58

• 能类比就叫有关联？ 那别说半年啦，半生都不够用。 -露重烟微- ♀ (0 bytes) () 10/27/2024 postreply 17:19:40