3,094
个编辑
更改
→应用地图一览
|-
|-
| 序数记号
| 序数记号
| 通用系统、Kleene's O、<math>\omega_1^CK</math>
| 通用系统、Kleene's O、<math>\omega_1^{CK}</math>
| 最初的用武之地〔§7〕
| 最初的用武之地〔§7〕
|-
|-
（表中"§"编号均指 Moschovakis 2010 的章节。）
（表中"§"编号均指 Moschovakis 2010 的章节。）
== 评注与影响 ==
== 评注与影响 ==