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

来源: 露重烟微 于 2024-03-27 18:33:00 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
请您先登陆，再发跟帖！