對角線引理

對角線引理(diagonal lemma),又稱為定點定理(fixed point theorem)。在數理邏輯中,對角線引理樹立了自然數的形式理論自指句子的存在。重要的是,它所涉及的形式理論,都強到足以表現各種計算功能。

相關詞條

熱門詞條

聯絡我們