哥德尔不完备定理

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