查看“︁TBMS”︁的源代码

超限 BMS（Transfinite BMS）是 [[BMS]] 的平凡扩展。更强的 TBMS 有 [[BTBMS]]、[[DBMS]] 等。

=== 定义 ===
使用 <math>n^\alpha</math> 表示连续的 <math>\alpha</math> 行 n。位于后继序数行的项的父项、祖先项定义同 BMS；位于极限序数行的项的父项列标为同一列、行数小于它的项父项列标的下确界。LNZ（末列最后一个非零项，Last non zero）位于后继序数行时，展开同 BMS；LNZ 位于极限序数行时，不展开，取末列行标的基本列。

=== 分析 ===
''主条目：[[Y 序列 vs TBMS]]''

{{默认排序:序数记号}}
[[分类:记号]]