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

https://zhuanlan.zhihu.com/p/648968577

 

所有跟帖： 

• 谢谢捧场！Goedel其实用的是二阶模态逻辑。这周末有空去研究一下。：） -露重烟微- ♀ (0 bytes) () 03/27/2024 postreply 18:33:00