更改

Lawvere不动点定理（也称为[[Lawvere对角线定理]]，1969年提出）是采用[[范畴论]]语言，统一刻画[[对角线自指]]与[[不动点]]现象的基础定理，是对[[Kleene第二递归定理]]的进一步提炼与抽象。

Lawvere不动点定理（也称为[[Lawvere对角线定理]]，1969年提出<ref name="lawvere1969">'''Lawvere, F. W. (1969).''' Diagonal arguments and cartesian closed categories. In ''Category Theory, Homology Theory and their Applications III'', Lecture Notes in Mathematics, vol. 92, Springer.【Lawvere 不动点定理，把 SRT、Gödel 不完备、Turing 停机统一为范畴论特例】【§[[#Lawvere 不动点定理（1969）|5.6.2]]】</ref>）是采用[[范畴论]]语言，统一刻画[[对角线自指]]与[[不动点]]现象的基础定理，是对[[Kleene第二递归定理]]的进一步提炼与抽象。

=函数版本的Lawvere定理=

=函数版本的Lawvere定理=

证毕。

证毕。