哥德尔定理

维基百科,自由的百科全书

库尔特·哥德尔证明了两条数理逻辑的重要定理: