3,094
个编辑
更改
→直观图景：程序如何"谈论"自己的代码
| '''构造方向'''
| '''构造方向'''
| 先有具体 <math>f</math>（= Print），再造 <math>c</math>（<math>c</math> 的代码里嵌入 <math>f</math> 的引用）
| 先有具体 <math>f</math>（= Print），再造 <math>c</math>（<math>c</math> 的代码里嵌入 <math>f</math> 的引用）
| 先有具体 <math>f</math>（[[#证明|§5.2]] 假设中任意一个），再造 <math>c</math>（<math>c</math> 由对 <math>f</math> 套 SRT 得到）
| 先有具体 <math>f</math>，再造 <math>c</math>（<math>c</math> 由对 <math>f</math> 套 SRT 得到）
|-
|-
| '''目的'''
| '''目的'''