你前面关于逻辑一阶高阶,也不是十分明了
但你的表示方式跟我对Godel证明的理解相似
• 不好意思,我也只是些粗粗的思维,要讲清一句话,得有一篇文章的积累,我没有 -老键- ♂ (245 bytes) () 12/01/2023 postreply 11:11:18
• 谢 至少你的高阶说给出另一个角度 -JSL2023- ♂ (0 bytes) () 12/01/2023 postreply 11:16:28