對角線引理

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