哥德爾定理

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

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