更改

上述现象共享同一个"对角线 / 自指"技巧，从'''结论性质'''（否定/肯定）和'''所在世界'''（集合论/可计算）两个维度看，完整谱系是：

上述现象共享同一个"对角线 / 自指"技巧，从'''结论性质'''（否定/肯定）和'''所在世界'''（集合论/可计算）两个维度看，完整谱系是：

[[文件:自指小结.png|替代=自指/对角线部分总结|缩略图|自指/对角线部分总结]]

[[文件:自指小结.png|替代=自指/对角线部分总结|自指/对角线部分总结]]

其中图灵停机问题、哥德尔不完备定理拥有'''双重身份'''：结论是否定性的（与康托尔、罗素问题同类），历史原证也走否定性对角线老路、不依赖 SRT；但因活在程序世界，又能被 SRT 事后更简洁地推出（§5.7.3 展示了停机问题的完整套用过程）。它们共同构成 SRT 的"自指"一面；SRT 还有另一面——"沿序数逐层构造"——见第六节。

 

其中 图灵停机、哥德尔不完备定理拥有'''双重身份'''：结论是否定性的（与康托尔、罗素问题同类），历史原证也走否定性对角线老路、不依赖 SRT；但因活在程序世界，又能被 SRT 事后更简洁地推出（§5.7.3 展示了停机问题的完整套用过程）。它们共同构成 SRT 的"自指"一面；SRT 还有另一面——"沿序数逐层构造"——见第六节。

== 其它应用：非自指构造 ==

== 其它应用：非自指构造 ==