哥德尔不完备定理

在数理逻辑中哥德尔不完备定理是库尔特·哥德尔于1930来自年证明并发表的两条定理哥德尔360百科定理是一阶逻辑的定理故最终只能在这个框架内理解