更改

添加24字节 、 2026年9月10日 (星期四)
第736行: 第736行:  
|-
 
|-
 
| 高类型递归
 
| 高类型递归
−
| Kleene 1959 体系;Jackson 定理
+
| Kleene 1959 体系<ref name="kleene1959"/>;Jackson 定理
 
| 理论的第一块基石〔§11〕
 
| 理论的第一块基石〔§11〕
 
|-
 
|-