更改

跳到导航 跳到搜索

递归定理 (查看源代码)

2026年9月9日 (三) 17:02的版本

删除3字节 、 2026年9月9日 (星期三)
→‎应用地图一览
第719行： 第719行：  
|-
 
|-
 
| 序数记号
 
| 序数记号
−
| 通用系统、Kleene's O、<math>\omega_1^CK</math>
+
| 通用系统、Kleene's O、<math>\omega_1^{CK}</math>
 
| 最初的用武之地〔§7〕
 
| 最初的用武之地〔§7〕
 
|-
 
|-
第744行： 第744行：     
（表中"§"编号均指 Moschovakis 2010 的章节。）
 
（表中"§"编号均指 Moschovakis 2010 的章节。）
−
  −
---
      
== 评注与影响 ==
 
== 评注与影响 ==
取自“https://wiki.swarma.org/index.php/特殊:移动版差异/51017”

导航菜单