哥德尔不完备定理

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