哥德爾的不完備定理（Gödel's Incompleteness Theorem）是 Kurt Gödel 於 1931 年提出的邏輯定理，證明一個足夠強度的邏輯系統（蘊含羅賓森公理 Robinson Arithmetic 以上，如皮亞諾公理 Peano Arithmetic）永遠無法由自身的公理證明該公理系統中一切為真的命題。該定理對型式邏輯造成一大打擊。本次 podcast 請了李恩隆博士（PhD, Westminster Theological Seminary）來淺談這個理論並其跟神學的關係。