哥德爾定理

維基百科,自由的百科全書

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