更改

[[文件:自指统一性总结.png|替代=自指/对角线部分总结|自指/对角线部分总结|600px]]

[[文件:自指统一性总结.png|替代=自指/对角线部分总结|自指/对角线部分总结|600px]]

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

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

=== SRT的其它应用 ===

=== SRT的其它应用 ===