Modal logic。上帝说能证或不能证推出的是“上帝说”的非必然性，而不是证的非必然性。

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