We can conclude that the two-type ordinal number theory is a extension of the ordinal number theory.
由此得出二型序数理论是序数理论的推广。
youdao
应用推荐
模块上移
模块下移
不移动