哥德尔定理

维基媒体消歧义页

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