3,094
个编辑
更改
→通用序数记号系统与\omega_1^{CK}
'''"You need a number z? You got it!"（你需要一个这样的数 z？给你！）'''<ref name="moschovakis2010" />
'''"You need a number z? You got it!"（你需要一个这样的数 z？给你！）'''<ref name="moschovakis2010" />
==== 通用序数记号系统与<math>\omega_1^{CK}</math> ====
==== 通用序数记号系统\omega_1^{CK}====
{{Anchor|6.1}}
{{Anchor|6.1}}