BO:修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
小无编辑摘要 |
||
第34行: | 第34行: | ||
== 性质 == | == 性质 == | ||
BO 是 <math>\rm{\Pi_1^1-CA_0}</math> 的[[证明论序数]]。 | |||
[[分类:序数]] |
小无编辑摘要 |
小无编辑摘要 |
||
第34行: | 第34行: | ||
== 性质 == | == 性质 == | ||
BO 是 <math>\rm{\Pi_1^1-CA_0}</math> 的[[证明论序数]]。 | |||
[[分类:序数]] |