好論：）可以試一下看能不能用在這個歌德爾版本中。他也是用數理邏輯推理：）

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

 

所有跟帖： 

• 謝謝捧場！Goedel其實用的是二階模態邏輯。這周末有空去研究一下。：） -露重煙微- ♀ (0 bytes) () 03/27/2024 postreply 18:33:00