好论：）可以试一下看能不能用在这个歌德尔版本中。他也是用数理逻辑推理：）

来源: 于 2024-03-27 17:44:19 [旧帖] [给我悄悄话] 本文已被阅读：次