對角線引理

對角線引理  ， 又稱爲不動點定理  。 在數理邏輯中 ， 對角線引理表明了自然數的形式理論中自指句子的存在 — — 尤其是那些強到足以表示所有可計算函數的形式理論 。 由對角線引理確立其存在的句子 ， 將可用於證明一些邏輯的基礎限制 ， 例如 ： 哥德爾不完備定理或塔斯基不可定義定理 。