>>448の続き

Con={1個の十分に大きな自然数定数（英語で定数を表すconstantより）}
Li(N)={最初の定義で与える既知の増加関数（大きな入力を表す造語のlarge inputより）}
N≧0,　Li(N)＞N,　Li(N+1)＞Li(N)
Lo(N)={定義によって最終的に得られる関数（大きな出力を表す造語のlarge outputより）}
#={0個以上の0以上の整数}
a,b,c,m,nは全て整数
n≧0,　m≧0,　b≧0,　0≦a＜b,　c＞b+1

[]=Li(Con)
[0:n+1]=Li([0:n])
[b+1:m+1]=[(b;[b+1:m,b],b+1):m,b;[b+1:m,b]]
[0:n+1,b+1:m+1]=[(b;[0:n,b+1:m+1],a+1):m,b;[0:n,b+1:m+1]]
[b+1:m+1,0,#]=[(b;[b+1:m+1,#],b+1):m+1,#]
[0:n+1,b+1:m+1,0,#]=[(b;[0:n,b+1:m+1,0,#],b+1):m+1,#]
[b+1:m+1,a+1,#]=[(b;[b+1:m+1,a,#],b+1):m+1,a;[b+1:m+1,a,#],#]
[0:n+1,b+1:m+1,a+1,#]=[(b;[0:n,b+1:m+1,a+1,#],b+1):m+1,a;[0:n,b+1:m+1,a+1,#],#]
[b+1:m+1,c,#]=[(b;[b+1:m,b,c,#],b+1):m,b;[b+1:m,b,c,#],c,#]
[0:n+1,b+1:m+1,c,#]=[(b;[0:n,b+1:m+1,c,#],b+1):m,b;[0:n,b+1:m+1,c,#],c,#]
Lo(0)=[[];[]:[]]
Lo(b+1)=[Lo(b);Lo(b):Lo(b)]