这算是个整体回复吧。相似之处在于，“无门”认为语言不可靠，因为有“矛盾”，Goedel认为（有些）形式系统也不可靠，方法也是推出

来源: 于 2024-10-26 06:16:00 [旧帖] [给我悄悄话] 本文已被阅读：次