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