谢谢捧场！Goedel其实用的是二阶模态逻辑。这周末有空去研究一下。：）

来源: 露重烟微于 2024-03-27 18:33:00 [旧帖] [给我悄悄话] 本文已被阅读：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.

Change Ad Consent