对角线引理 编辑
对角线引理，又称为不动点定理。在数理逻辑中，对角线引理表明了自然数的形式系统中自指句子的存在——尤其是那些强到足以表示所有可计算函数的形式理论。
1