0
0 0 0 0 0─┤
0 0 0 0─┤ 0 0 0─┤ 0 0─┤ 0─┴───┤
0 0 0─┤ 0 0─┤ 0─┴───┤ 0 0─┤ 0─┴───┤ 0─┴───┴───────┤
0 0─┤ 0─┴───┤ 0─┴───┴───────┤ 0─┴───┴───────┴───────────────┤
0─┴───┴───────┴───────────────┴───────────────────────────────┴─►
0 1 2 3 4 5 ω
0 = {}
n' = n+{n}
n'' = n'+{n'} = n+{n,n'}
n''' = n''+{n''} = n+{n,n',n''}
{n} ~ 1={0}
{n,n'} ~ 2={0,1}
{n,n',n''} ~ 3={0,1,2}
n -> 0
отрицательные ординалы (слева от 0)
0 0 0 0 0─┤ 0 0 0─┤ 0 0─┤ 0─┴───┤ -ω -4 -3 -2 -1 0 0─┤ 0─┴───┤ 0─┴───┴───────┤ ►─┬───────────────┬───────┬───┬─0─┴───┴───────┴───────────────┴─► ├───────┬───┬─0 ├───┬─0 ├─0 0 1 2 3 4 ω ├───┬─0 ├─0 0 ├─0 0 0 ├─0 0 0 0 0
-0 = 0
-'n = }-n{+-n
-''n = }-'n{+-'n = }-'n,-n{+-n
-'''n = }-''n{+-''n = }-''n,-'n,-n{+-n
}-n{ ~ -1=}0{
}-n',-n{ ~ -2=}-1,0{
}-n'',-n',-n{ ~ -2=}-2,-1,0{
n -> 0
-n+n = 0
-n+n' = {n} ~ 1
-n'+n = }-n{ ~ -1
1 = 0' = {0}
2 = 0'' = {0,1}
3 = 0''' = {0,1,2}
-1 = -'0 = }0{
-2 = -''0 = }-1,0{
-3 = -'''0 = }-2,-1,0{
