>>845

多変数C1の定義の８個目の式、間違ってました。
C1(Ｘ, BB, □, a) = lim C1(Ｘ, BB.f(S[n]), □, a) }

具体例です。８個の式を順に１〜８まで番号をふります。

C1(C1(1,0,0),0) = lim { 0 / C1(前, 0) }
　　使う定義式は左のC1から順に、７、３
　　C0(Ω,0) 相当
C1(C1(C1(1,0,0),C1(1,0,0)),0) = lim { 0 / C1(C1(前,C1(1,0,0)),0) }
　　使う定義式は左のC1から順に、７、６、３、３
　　C0(Ω+Ω,0) 相当
C1(C1(2,0,0),0) = lim C1(S[n], 0)
　　S[n] = { 0 / C1(1,前,0) }
　　使う定義式は左のC1から順に、８、３
C1(C1(C1(2,0,0),C1(2,0,0)),0) = lim C1(C1(S[n],C1(2,0,0)), 0)
　　S[n] = { 0 / C1(1,C1(前,C1(2,0,0)),0) }
　　使う定義式は左のC1から順に、８、６、３、３
C1(C1(C1(1,0,0),0,0),0) = lim { 0 / C1(C1(前,0,0),0) }
　　使う定義式は左のC1から順に、７、３
C1(C1(1,0,0,0),0) = lim C1(S[n], 0)
　　S[n] = { 0 / C1(前,0,0) }
　　使う定義式は左のC1から順に、８、３