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

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

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

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

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

版权说明： 本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。

标签：