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

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