哥德爾定理

维基媒体消歧义页

庫爾特·哥德爾證明了兩條數理邏輯的重要定理: