哥德爾不完備定理 - 維基百科,自由的百科全書

哥德爾不完備定理 - 維基百科,自由的百科全書

瀏覽:435
日期:2024-04-27
在數理邏輯中,哥德爾不完備定理是庫爾特·哥德爾於1931年證明並發表的兩條定理。簡單地說,第一條定理指出: 任何相容的形式系統,只要蘊涵皮亞諾算術公理,就可以在其中構造在體系中既不能證明也不能否證的命題(即體系是不完備的)。 這條 ......看更多