对角线引理（关于对角线引理介绍）

大家好,小万来为大家解答以上的问题。对角线引理，关于对角线引理介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 对角线引理（diagonal lemma），又称为定点定理（fixed point theorem）。

2、在数理逻辑中，对角线引理树立了自然数的形式理论的自指句子的存在。

3、重要的是，它所涉及的形式理论，都强到足以表现各种计算功能。

关于对角线引理到此分享完毕，希望能帮助到您。