哥德爾定理

庫爾特 · 哥德爾證明了兩條數理邏輯的重要定理 ： 哥德爾完備性定理 哥德爾不完備性定理