有幸被当路人甲引用：）我还提供了歌德尔的证明，它的结果应该会促进你们同步，它把数学推理问题和＂狗有无佛性＂联系起来了：）