更改

注：'''Gödel 不动点引理本身是 SRT 最干净、最纯粹的推论'''（既可以把 SRT 当证明工具来证它，也可以两边都用"自指 + 对角线"的同源手法独立证明）。它和 SRT 的关系是"同源、互为推论"；但 [[Gödel 不完备定理]] 与 SRT 的关系则另当别论，见 [[#哥德尔第一不完备定理（1931）|§5.7.4]] 的"双重身份"分析。

注：'''Gödel 不动点引理本身是 SRT 最干净、最纯粹的推论'''（既可以把 SRT 当证明工具来证它，也可以两边都用"自指 + 对角线"的同源手法独立证明）。它和 SRT 的关系是"同源、互为推论"；但 [[Gödel 不完备定理]] 与 SRT 的关系则另当别论，见 [[#哥德尔第一不完备定理（1931）|§5.7.4]] 的"双重身份"分析。

==== Lawvere不动点定理（笛卡尔闭范畴版本） ====

====Lawvere不动点定理====

'''Lawvere不动点定理'''（也称为Lawvere对角线定理，1969年提出）是范畴论中统一刻画对角线自指与不动点现象的基础定理。它表明，只要一个笛卡尔闭范畴中存在对函数族的通用编码机制，那么输出对象上的所有自变换都必然存在不动点。

[[Lawvere不动点定理]]（也称为[[Lawvere对角线定理]]，1969年提出）是范畴论中统一刻画对角线自指与不动点现象的基础定理。它表明，只要一个笛卡尔闭范畴中存在对函数族的通用编码机制，那么输出对象上的所有自变换都必然存在不动点。

===== 定理陈述 =====

===== 定理陈述 =====