這算是個整體回複吧。相似之處在於，“無門”認為語言不可靠，因為有“矛盾”，Goedel認為（有些）形式係統也不可靠，方法也是推出

來源: 於 2024-10-26 06:16:00 [舊帖] [給我悄悄話] 本文已被閱讀：次