BMS分析：修订间差异

←上一编辑下一编辑→

可视化wikitext

2025年7月9日 (三) 01:10的版本

目前使用的OCF为M型，后续补充BOCF

1：单行BMS（PrSS）

$\emptyset = 0$

$(0) = 1$

$(0) (0) = 2$

$(0) (0) (0) = 3$

$(0) (1) = (0) (0) (0) (0) (0) . . . = ω$

$(0) (1) (0) = ω + 1$

$(0) (1) (0) (0) = ω + 2$

$(0) (1) (0) (1) = ω \times 2$

$(0) (1) (0) (1) (0) (1) = ω \times 3$

$(0) (1) (1) = (0) (1) (0) (1) (0) (1) . . . = ω^{2}$

$(0) (1) (1) (0) = ω^{2} + 1$

$(0) (1) (1) (0) (1) = ω^{2} + ω$

$(0) (1) (1) (0) (1) (0) (1) = ω^{2} + ω \times 2$

$(0) (1) (1) (0) (1) (1) = ω^{2} \times 2$

$(0) (1) (1) (0) (1) (1) (0) (1) = ω^{2} \times 2 + ω$

$(0) (1) (1) (0) (1) (1) (0) (1) (1) = ω^{2} \times 3$

$(0) (1) (1) (1) = ω^{3}$

$(0) (1) (1) (1) (1) = ω^{4}$

$(0) (1) (2) = (0) (1) (1) (1) (1) . . . = ω^{ω}$

$(0) (1) (2) (0) (1) (2) = ω^{ω} \times 2$

$(0) (1) (2) (1) = ω^{ω + 1}$

$(0) (1) (2) (1) (1) = ω^{ω + 2}$

$(0) (1) (2) (1) (1) (1) = ω^{ω + 3}$

$(0) (1) (2) (1) (2) = ω^{ω \times 2}$

$(0) (1) (2) (1) (2) (1) (2) = ω^{ω \times 3}$

$(0) (1) (2) (2) = ω^{ω^{2}}$

$(0) (1) (2) (2) (1) = ω^{ω^{2} + 1}$

$(0) (1) (2) (2) (1) (2) = ω^{ω^{2} + ω}$

$(0) (1) (2) (2) (1) (2) (2) = ω^{ω^{2} \times 2}$

$(0) (1) (2) (2) (1) (2) (2) (1) (2) (2) = ω^{ω^{2} \times 3}$

$(0) (1) (2) (2) (2) = ω^{ω^{3}}$

$(0) (1) (2) (2) (2) (2) = ω^{ω^{4}}$

$(0) (1) (2) (3) = (0) (1) (2) (2) (2) (2) . . . = ω^{ω^{ω}}$

$(0) (1) (2) (3) (4) = ω^{ω^{ω^{ω}}}$

$(0) (1) (2) (3) (4) (5) = ω^{ω^{ω^{ω^{ω}}}}$

$(0) (1, 1) = (0) (1) (2) (3) (4) (5) (6) . . . = ε_{0}$

2：双行BMS

$(0) (1, 1) = ε_{0}$

$(0) (1, 1) (0, 0) = ε_{0} + 1$

$(0) (1, 1) (0, 0) (1, 0) = ε_{0} + ω$

$(0) (1, 1) (0, 0) (1, 1) = ε_{0} \times 2$

$(0) (1, 1) (0, 0) (1, 1) (0, 0) (1, 1) = ε_{0} \times 3$

$(0) (1, 1) (1, 0) = ε_{0} \times ω$

$(0) (1, 1) (1, 0) (1, 0) = ε_{0} \times ω^{2}$

$(0) (1, 1) (1, 0) (2, 0) = ε_{0} \times ω^{ω}$

$(0) (1, 1) (1, 0) (2, 0) (3, 0) = ε_{0} \times ω^{ω^{ω}}$

$(0) (1, 1) (1, 0) (2, 1) = ε_{0}^{2}$

$(0) (1, 1) (1, 0) (2, 1) (1, 0) (2, 0) = ε_{0}^{2} \times ω$

$(0) (1, 1) (1, 0) (2, 1) (1, 0) (2, 0) (3, 0) = ε_{0}^{2} \times ω^{ω}$

$(0) (1, 1) (1, 0) (2, 1) (1, 0) (2, 1) = ε_{0}^{3}$

$(0) (1, 1) (1, 0) (2, 1) (1, 0) (2, 1) (1, 0) (2, 1) = ε_{0}^{4}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) = ε_{0}^{ω}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (1, 0) (2, 1) = ε_{0}^{ω + 1}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (1, 0) (2, 1) (1, 0) (2, 1) = ε_{0}^{ω + 2}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (1, 0) (2, 1) (2, 0) = ε_{0}^{ω \times 2}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (1, 0) (2, 1) (2, 0) (1, 0) (2, 1) (2, 0) = ε_{0}^{ω \times 3}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (2, 0) = ε_{0}^{ω^{2}}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (3, 0) = ε_{0}^{ω^{ω}}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (3, 0) (4, 0) = ε_{0}^{ω^{ω^{ω}}}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (3, 1) = ε_{0}^{ε_{0}}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (3, 1) (3, 0) (4, 1) = ε_{0}^{ε_{0}^{ε_{0}}}$

$(0) (1, 1) (1, 0) (2, 1) (2, 0) (3, 1) (3, 0) (4, 1) (4, 0) (5, 1) = ε_{0}^{ε_{0}^{ε_{0}^{ε_{0}}}}$

$(0) (1, 1) (1, 1) = ε_{1}$

$(0) (1, 1) (1, 1) (0, 0) (1, 1) (1, 1) = ε_{1} \times 2$

$(0) (1, 1) (1, 1) (1, 0) = ε_{1} \times ω$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) = ε_{1} \times ε_{0}$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) (2, 0) (3, 1) = ε_{1} \times ε_{0}^{2}$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) (2, 0) (3, 1) (3, 0) (4, 1) = ε_{1} \times ε_{0}^{ε_{0}}$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) (2, 1) = ε_{1}^{2}$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) (2, 1) (2, 0) = ε_{1}^{ω}$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) (2, 1) (2, 0) (3, 1) = ε_{1}^{ε_{0}}$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) (2, 1) (2, 0) (3, 1) (3, 1) = ε_{1}^{ε_{1}}$

$(0) (1, 1) (1, 1) (1, 0) (2, 1) (2, 1) (2, 0) (3, 1) (3, 1) (3, 0) (4, 1) (4, 1) = ε_{1}^{ε_{1}^{ε_{1}}}$

$(0) (1, 1) (1, 1) (1, 1) = ε_{2}$

$(0) (1, 1) (1, 1) (1, 1) (1, 1) = ε_{3}$

$(0) (1, 1) (2, 0) = ε_{ω}$

$(0) (1, 1) (2, 0) (1, 0) = ε_{ω} \times ω$

$(0) (1, 1) (2, 0) (1, 0) (2, 1) = ε_{ω} \times ε_{0}$

$(0) (1, 1) (2, 0) (1, 0) (2, 1) (2, 1) = ε_{ω} \times ε_{1}$

$(0) (1, 1) (2, 0) (1, 0) (2, 1) (2, 1) (2, 1) = ε_{ω} \times ε_{2}$

$(0) (1, 1) (2, 0) (1, 0) (2, 1) (2, 1) (2, 1) (2, 1) = ε_{ω} \times ε_{3}$

$(0) (1, 1) (2, 0) (1, 0) (2, 1) (3, 0) = ε_{ω}^{2}$

$(0) (1, 1) (2, 0) (1, 0) (2, 1) (3, 0) (2, 0) (3, 1) (4, 0) = ε_{ω}^{ε_{ω}}$

$(0) (1, 1) (2, 0) (1, 1) = ε_{ω + 1}$

$(0) (1, 1) (2, 0) (1, 1) (1, 1) = ε_{ω + 2}$

$(0) (1, 1) (2, 0) (1, 1) (1, 1) (1, 1) = ε_{ω + 3}$

$(0) (1, 1) (2, 0) (1, 1) (2, 0) = ε_{ω \times 2}$

$(0) (1, 1) (2, 0) (1, 1) (2, 0) (1, 1) (2, 0) = ε_{ω \times 3}$

$(0) (1, 1) (2, 0) (2, 0) = ε_{ω^{2}}$

$(0) (1, 1) (2, 0) (2, 0) (2, 0) = ε_{ω^{3}}$

$(0) (1, 1) (2, 0) (3, 0) = ε_{ω^{ω}}$

$(0) (1, 1) (2, 0) (3, 0) (4) = ε_{ω^{ω^{ω}}}$

$(0) (1, 1) (2, 0) (3, 1) = ε_{ε_{0}}$

$(0) (1, 1) (2, 0) (3, 1) (1, 1) = ε_{ε_{0} + 1}$

$(0) (1, 1) (2, 0) (3, 1) (3, 1) = ε_{ε_{1}}$

$(0) (1, 1) (2, 0) (3, 1) (4, 0) = ε_{ε_{ω}}$

$(0) (1, 1) (2, 0) (3, 1) (4, 0) (5, 1) = ε_{ε_{ε_{0}}}$

$(0) (1, 1) (2, 0) (3, 1) (4, 0) (5, 1) (6, 0) (7, 1) = ε_{ε_{ε_{ε_{0}}}}$

$(0) (1, 1) (2, 1) = ζ_{0}$

$(0) (1, 1) (2, 1) (1, 0) (2, 1) (3, 1) = ζ_{0}^{2}$

$(0) (1, 1) (2, 1) (1, 0) (2, 1) (3, 1) (2, 0) (3, 1) (4, 1) = ζ_{0}^{ζ_{0}}$

$(0) (1, 1) (2, 1) (1, 1) = ε_{ζ_{0} + 1}$

$(0) (1, 1) (2, 1) (1, 1) (1, 0) (2, 1) (3, 1) (2, 1) = ε_{ζ_{0} + 1}^{2}$

$(0) (1, 1) (2, 1) (1, 1) (1, 1) = ε_{ζ_{0} + 2}$

$(0) (1, 1) (2, 1) (1, 1) (2, 0) = ε_{ζ_{0} + ω}$

$(0) (1, 1) (2, 1) (1, 1) (2, 0) (3, 1) = ε_{ζ_{0} + ε_{0}}$

$(0) (1, 1) (2, 1) (1, 1) (2, 0) (3, 1) (4, 1) = ε_{ζ_{0} \times 2}$

$(0) (1, 1) (2, 1) (1, 1) (2, 0) (3, 1) (4, 1) (3, 1) = ε_{ε_{ζ_{0} + 1}}$

$(0) (1, 1) (2, 1) (1, 1) (2, 0) (3, 1) (4, 1) (3, 1) (4, 0) (5, 1) (6, 1) (5, 1) = ε_{ε_{ε_{ζ + 1}}}$

$(0) (1, 1) (2, 1) (1, 1) (2, 1) = ζ_{1}$

$(0) (1, 1) (2, 1) (1, 1) (2, 1) (1, 1) = ε_{ζ_{1} + 1}$

$(0) (1, 1) (2, 1) (1, 1) (2, 0) = ε_{ζ_{1} + ω}$

$(0) (1, 1) (2, 1) (1, 1) (2, 1) (1, 1) (2, 1) = ζ_{2}$

$(0) (1, 1) (2, 1) (1, 1) (2, 1) (1, 1) (2, 1) (1, 1) (2, 1) = ζ_{3}$

$(0) (1, 1) (2, 1) (2, 0) = ζ_{ω}$

$(0) (1, 1) (2, 1) (2, 0) (2, 0) = ζ_{ω^{2}}$

$(0) (1, 1) (2, 1) (2, 0) (3, 1) = ζ_{ε_{0}}$

$(0) (1, 1) (2, 1) (2, 0) (3, 1) (4, 1) = ζ_{ζ_{0}}$

$(0) (1, 1) (2, 1) (2, 0) (3, 1) (4, 1) (4, 0) (5, 1) (6, 1) = ζ_{ζ_{ζ_{0}}}$

$(0) (1, 1) (2, 1) (2, 1) = η_{0}$

$(0) (1, 1) (2, 1) (2, 1) (1, 1) = ε_{η_{0} + 1}$

$(0) (1, 1) (2, 1) (2, 1) (1, 1) (2, 1) = ζ_{η_{0} + 1}$

$(0) (1, 1) (2, 1) (2, 1) (1, 1) (2, 1) (2, 0) (3, 1) (4, 1) (4, 1) (3, 1) (4, 1) = ζ_{ζ_{η_{0} + 1}}$

$(0) (1, 1) (2, 1) (2, 1) (1, 1) (2, 1) (2, 1) = η_{1}$

$(0) (1, 1) (2, 1) (2, 1) (1, 1) (2, 1) (2, 1) (1, 1) (2, 1) (2, 1) = η_{2}$

$(0) (1, 1) (2, 1) (2, 1) (2, 0) = η_{ω}$

$(0) (1, 1) (2, 1) (2, 1) (2, 1) = φ (4, 0) = ψ (Ω^{3})$

$(0) (1, 1) (2, 1) (3, 0) = φ (ω, 0) = ψ (Ω^{ω})$

$(0) (1, 1) (2, 1) (3, 0) (1, 1) = φ (1, φ (ω, 0) + 1) = ψ (Ω^{ω} + 1)$

$(0) (1, 1) (2, 1) (3, 0) (1, 1) (2, 1) = φ (2, φ (ω, 0) + 1) = ψ (Ω^{ω} + Ω)$

$(0) (1, 1) (2, 1) (3, 0) (1, 1) (2, 1) (2, 1) = φ (3, φ (ω, 0) + 1) = ψ (Ω^{ω} + Ω^{2})$

$(0) (1, 1) (2, 1) (3) (1, 1) (2, 1) (3, 0) = φ (ω, 1) = ψ (Ω^{ω} \times 2)$

$(0) (1, 1) (2, 1) (3, 0) (1, 1) (2, 1) (3, 0) (1, 1) (2, 1) (3, 0) = φ (ω, 2) = ψ (Ω^{ω} \times 3)$

$(0) (1, 1) (2, 1) (3, 0) (2, 0) = φ (ω, ω) = ψ (Ω^{ω} \times ω)$

$(0) (1, 1) (2, 1) (3, 0) (2, 1) = φ (ω + 1, 0) = ψ (Ω^{ω + 1})$

$(0) (1, 1) (2, 1) (3, 0) (2, 1) (2, 1) = φ (ω + 2, 0) = ψ (Ω^{ω + 2})$

$(0) (1, 1) (2, 1) (3, 0) (2, 1) (2, 1) (2, 1) = φ (ω + 3, 0) = ψ (Ω^{ω + 3})$

$(0) (1, 1) (2, 1) (3, 0) (2, 1) (3, 0) = φ (ω \times 2, 0) = ψ (Ω^{ω \times 2})$

$(0) (1, 1) (2, 1) (3, 0) (2, 1) (3, 0) (2, 1) (3, 0) = φ (ω \times 3, 0) = ψ (Ω^{ω \times 3})$

$(0) (1, 1) (2, 1) (3, 0) (3, 0) = φ (ω^{2}, 0) = ψ (Ω^{ω^{2}})$

$(0) (1, 1) (2, 1) (3, 0) (4, 1) = φ (φ (1, 0), 0) = ψ (Ω^{ψ (0)})$

$(0) (1, 1) (2, 1) (3, 0) (4, 1) (5, 1) = φ (φ (2, 0), 0) = ψ (Ω^{ψ (Ω)})$

$(0) (1, 1) (2, 1) (3, 0) (4, 1) (5, 1) (6, 0) = φ (φ (ω, 0), 0) = ψ (Ω^{ψ (Ω^{ω})})$

$(0) (1, 1) (2, 1) (3, 0) (4, 1) (5, 1) (6, 0) (7, 1) (8, 1) (9, 0) = φ (φ (φ (ω, 0), 0), 0) = ψ (Ω^{ψ (Ω^{ψ (Ω^{ω})})})$

$(0) (1, 1) (2, 1) (3, 1) = φ (1, 0, 0) = Γ_{0} = ψ (Ω^{Ω})$

$(0) (1, 1) (2, 1) (3, 1) (1, 1) (2, 1) (3, 1) = φ (1, 0, 1) = Γ_{1} = ψ (Ω^{Ω} \times 2)$

$(0) (1, 1) (2, 1) (3, 1) (1, 1) (2, 1) (3, 1) (1, 1) (2, 1) (3, 1) = φ (1, 0, 2) = Γ_{2} = ψ (Ω^{Ω} \times 3)$

$(0) (1, 1) (2, 1) (3, 1) (2, 0) = φ (1, 0, ω) = Γ_{ω} = ψ (Ω^{Ω} \times ω)$

$(0) (1, 1) (2, 1) (3, 1) (2, 0) (3, 1) (4, 1) (5, 1) = φ (1, 0, φ (1, 0, 0)) = Γ_{Γ_{0}} = ψ (Ω^{Ω} \times ψ (Ω^{Ω}))$

$(0) (1, 1) (2, 1) (3, 1) (2, 0) (3, 1) (4, 1) (5, 1) (4, 0) (5, 1) (6, 1) (7, 1) = φ (1, 0, φ (1, 0, φ (1, 0, 0))) = Γ_{Γ_{Γ_{0}}} = ψ (Ω^{Ω} \times ψ (Ω^{Ω} \times ψ (Ω^{Ω})))$

$(0) (1, 1) (2, 1) (3, 1) (2, 1) = φ (1, 1, 0) = ψ (Ω^{Ω + 1})$

$(0) (1, 1) (2, 1) (3, 1) (2, 1) (2, 1) = φ (1, 2, 0) = ψ (Ω^{Ω + 2})$

$(0) (1, 1) (2, 1) (3, 1) (2, 1) (3, 0) = φ (1, ω, 0) = ψ (Ω^{Ω + ω})$

$(0) (1, 1) (2, 1) (3, 1) (2, 1) (3, 0) (4, 1) (5, 1) (6, 1) (5, 1) (6, 0) = φ (1, φ (1, ω, 0), 0) = ψ (Ω^{Ω + ψ (Ω^{Ω + ω})})$

$(0) (1, 1) (2, 1) (3, 1) (2, 1) (3, 1) = ψ (2, 0, 0) = ψ (Ω^{Ω \times 2})$

$(0) (1, 1) (2, 1) (3, 1) (2, 1) (3, 1) (2, 1) (3, 1) = ψ (3, 0, 0) = ψ (Ω^{Ω \times 3})$

$(0) (1, 1) (2, 1) (3, 1) (3, 0) = φ (ω, 0, 0) = ψ (Ω^{Ω \times ω})$

$(0) (1, 1) (2, 1) (3, 1) (3, 1) = φ (1, 0, 0, 0) = ψ (Ω^{Ω^{2}})$

$(0) (1, 1) (2, 1) (3, 1) (3, 1) (3, 1) = φ (1, 0, 0, 0, 0) = ψ (Ω^{Ω^{3}})$

$(0) (1, 1) (2, 1) (3, 1) (4, 0) = ψ (Ω^{Ω^{ω}})$

$(0) (1, 1) (2, 1) (3, 1) (4, 0) (5, 1) = ψ (Ω^{Ω^{ψ (0)}})$

$(0) (1, 1) (2, 1) (3, 1) (4, 0) (5, 1) (6, 1) = ψ (Ω^{Ω^{ψ (Ω)}})$

$(0) (1, 1) (2, 1) (3, 1) (4, 0) (5, 1) (6, 1) (7, 1) = ψ (Ω^{Ω^{ψ (Ω^{Ω})}})$

$(0) (1, 1) (2, 1) (3, 1) (4, 1) = ψ (Ω^{Ω^{Ω}})$

$(0) (1, 1) (2, 1) (3, 1) (4, 1) (5, 1) = ψ (Ω^{Ω^{Ω^{Ω}}})$

$(0) (1, 1) (2, 2) = ψ (ψ_{1} (0))$

$(0) (1, 1) (2, 2) (1, 1) = ψ (ψ_{1} (0) + 1)$

$(0) (1, 1) (2, 2) (1, 1) (2, 1) = ψ (ψ_{1} (0) + Ω)$

$(0) (1, 1) (2, 2) (1, 1) (2, 1) (3, 1) = ψ (ψ_{1} (0) + Ω^{Ω})$

$(0) (1, 1) (2, 2) (1, 1) (2, 2) = ψ (ψ_{1} (0) \times 2)$

$(0) (1, 1) (2, 2) (2, 0) = ψ (ψ_{1} (0) \times ω)$

$(0) (1, 1) (2, 2) (2, 1) = ψ (ψ_{1} (0) \times Ω)$

$(0) (1, 1) (2, 2) (2, 1) (3, 0) = ψ (ψ_{1} (0) \times Ω^{ω})$

$(0) (1, 1) (2, 2) (2, 1) (3, 1) = ψ (ψ_{1} (0) \times Ω^{Ω})$

$(0) (1, 1) (2, 2) (2, 1) (3, 2) = ψ (ψ_{1} (0)^{2})$

$(0) (1, 1) (2, 2) (2, 1) (3, 2) (3, 0) = ψ (ψ_{1} (0)^{ω})$

$(0) (1, 1) (2, 2) (2, 1) (3, 2) (3, 1) (4, 2) = ψ (ψ_{1} (0)^{ψ_{1} (0)})$

$(0) (1, 1) (2, 2) (2, 2) = ψ (ψ_{1} (1))$

$(0) (1, 1) (2, 2) (3, 0) = ψ (ψ_{1} (ω))$

$(0) (1, 1) (2, 2) (3, 1) (4, 2) = ψ (ψ_{1} (ψ_{1} (0)))$

$(0) (1, 1) (2, 2) (3, 2) = ψ (Ω_{2})$

$(0) (1, 1) (2, 2) (3, 2) (1, 1) = ψ (Ω_{2} + Ω)$

$(0) (1, 1) (2, 2) (3, 2) (1, 1) (2, 2) = ψ (Ω_{2} + ψ_{1} (0))$

$(0) (1, 1) (2, 2) (3, 2) (1, 1) (2, 2) (3, 1) (4, 2) = ψ (Ω_{2} + ψ_{1} (ψ_{1} (0)))$

$(0) (1, 1) (2, 2) (3, 2) (1, 1) (2, 2) (3, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2}))$

$(0) (1, 1) (2, 2) (3, 2) (2, 0) = ψ (Ω_{2} + ψ_{1} (Ω_{2}) \times ω)$

$(0) (1, 1) (2, 2) (3, 2) (2, 1) (3, 2) (4, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2})^{2})$

$(0) (1, 1) (2, 2) (3, 2) (2, 1) (3, 2) (4, 2) (3, 0) = ψ (Ω_{2} + ψ_{1} (Ω_{2})^{ω})$

$(0) (1, 1) (2, 2) (3, 2) (2, 1) (3, 2) (4, 2) (3, 1) (4, 2) (5, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2})^{ψ_{1} (Ω_{2})})$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + 1))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 0) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ω))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 1) (4, 2) (5, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2})))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 1) (4, 2) (5, 2) (3, 0) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2}) \times ω))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 1) (4, 2) (5, 2) (4, 0) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2})^{ω}))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 1) (4, 2) (5, 2) (4, 1) (5, 2) (6, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2})^{ψ_{1} (Ω_{2})}))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 1) (4, 2) (5, 2) (4, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2} + 1)))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 1) (4, 2) (5, 2) (4, 2) (5, 0) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2} + ω)))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 1) (4, 2) (5, 2) (4, 2) (5, 0) (5, 1) (6, 2) (7, 2) = ψ (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2} + ψ_{1} (Ω_{2}))))$

$(0) (1, 1) (2, 2) (3, 2) (2, 2) (3, 2) = ψ (Ω_{2} \times 2)$

$(0) (1, 1) (2, 2) (3, 2) (3, 0) = ψ (Ω_{2} \times ω)$

$(0) (1, 1) (2, 2) (3, 2) (3, 1) (4, 2) (5, 2) = ψ (Ω_{2} \times ψ_{1} (Ω_{2}))$

$(0) (1, 1) (2, 2) (3, 2) (3, 2) = ψ (Ω_{2}^{2})$

$(0) (1, 1) (2, 2) (3, 2) (4, 0) = ψ (Ω_{2}^{ω})$

$(0) (1, 1) (2, 2) (3, 2) (4, 2) = ψ (Ω_{2}^{Ω_{2}})$

$(0) (1, 1) (2, 2) (3, 3) = ψ (ψ_{2} (0))$

$(0) (1, 1) (2, 2) (3, 3) (4, 3) = ψ (Ω_{3})$

$(0) (1, 1) (2, 2) (3, 3) (4, 4) = ψ (ψ_{3} (0))$

$(0) (1, 1, 1) = (0) (1, 1) (2, 2) (3, 3) \dots = ψ (Ω_{ω})$

@@ 第77行： / 第77行： @@
 <math>(0)(1,1)=\varepsilon_0</math>
-<math>(0)(1,1)(0)=\varepsilon_0+1</math>
+<math>(0)(1,1)(0,0)=\varepsilon_0+1</math>
-<math>(0)(1,1)(0)(1)=\varepsilon_0+\omega</math>
+<math>(0)(1,1)(0,0)(1,0)=\varepsilon_0+\omega</math>
-<math>(0)(1,1)(0)(1,1)=\varepsilon_0\times2</math>
+<math>(0)(1,1)(0,0)(1,1)=\varepsilon_0\times2</math>
-<math>(0)(1,1)(0)(1,1)(0)(1,1)=\varepsilon_0\times3</math>
+<math>(0)(1,1)(0,0)(1,1)(0,0)(1,1)=\varepsilon_0\times3</math>
-<math>(0)(1,1)(1)=\varepsilon_0\times\omega</math>
+<math>(0)(1,1)(1,0)=\varepsilon_0\times\omega</math>
-<math>(0)(1,1)(1)(1)=\varepsilon_0\times\omega^2</math>
+<math>(0)(1,1)(1,0)(1,0)=\varepsilon_0\times\omega^2</math>
-<math>(0)(1,1)(1)(2)=\varepsilon_0\times\omega^\omega</math>
+<math>(0)(1,1)(1,0)(2,0)=\varepsilon_0\times\omega^\omega</math>
-<math>(0)(1,1)(1)(2)(3)=\varepsilon_0\times\omega^{\omega^\omega}</math>
+<math>(0)(1,1)(1,0)(2,0)(3,0)=\varepsilon_0\times\omega^{\omega^\omega}</math>
-<math>(0)(1,1)(1)(2,1)=\varepsilon_0^2</math>
+<math>(0)(1,1)(1,0)(2,1)=\varepsilon_0^2</math>
-<math>(0)(1,1)(1)(2,1)(1)(2)=\varepsilon_0^2\times\omega</math>
+<math>(0)(1,1)(1,0)(2,1)(1,0)(2,0)=\varepsilon_0^2\times\omega</math>
-<math>(0)(1,1)(1)(2,1)(1)(2)(3)=\varepsilon_0^2\times\omega^\omega</math>
+<math>(0)(1,1)(1,0)(2,1)(1,0)(2,0)(3,0)=\varepsilon_0^2\times\omega^\omega</math>
-<math>(0)(1,1)(1)(2,1)(1)(2,1)=\varepsilon_0^3</math>
+<math>(0)(1,1)(1,0)(2,1)(1,0)(2,1)=\varepsilon_0^3</math>
-<math>(0)(1,1)(1)(2,1)(1)(2,1)(1)(2,1)=\varepsilon_0^4</math>
+<math>(0)(1,1)(1,0)(2,1)(1,0)(2,1)(1,0)(2,1)=\varepsilon_0^4</math>
-<math>(0)(1,1)(1)(2,1)(2)=\varepsilon_0^\omega</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)=\varepsilon_0^\omega</math>
-<math>(0)(1,1)(1)(2,1)(2)(1)(2,1)=\varepsilon_0^{\omega+1}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)=\varepsilon_0^{\omega+1}</math>
-<math>(0)(1,1)(1)(2,1)(2)(1)(2,1)(1)(2,1)=\varepsilon_0^{\omega+2}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(1,0)(2,1)=\varepsilon_0^{\omega+2}</math>
-<math>(0)(1,1)(1)(2,1)(2)(1)(2,1)(2)=\varepsilon_0^{\omega\times2}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)=\varepsilon_0^{\omega\times2}</math>
-<math>(0)(1,1)(1)(2,1)(2)(1)(2,1)(2)(1)(2,1)(2)=\varepsilon_0^{\omega\times3}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)=\varepsilon_0^{\omega\times3}</math>
-<math>(0)(1,1)(1)(2,1)(2)(2)=\varepsilon_0^{\omega^2}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(2,0)=\varepsilon_0^{\omega^2}</math>
-<math>(0)(1,1)(1)(2,1)(2)(3)=\varepsilon_0^{\omega^\omega}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(3,0)=\varepsilon_0^{\omega^\omega}</math>
-<math>(0)(1,1)(1)(2,1)(2)(3)(4)=\varepsilon_0^{\omega^{\omega^\omega}}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(3,0)(4,0)=\varepsilon_0^{\omega^{\omega^\omega}}</math>
-<math>(0)(1,1)(1)(2,1)(2)(3,1)=\varepsilon_0^{\varepsilon_0}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)=\varepsilon_0^{\varepsilon_0}</math>
-<math>(0)(1,1)(1)(2,1)(2)(3,1)(3)(4,1)=\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)=\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}</math>
-<math>(0)(1,1)(1)(2,1)(2)(3,1)(3)(4,1)(4)(5,1)=\varepsilon_0^{\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}}</math>
+<math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)(4,0)(5,1)=\varepsilon_0^{\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}}</math>
 <math>(0)(1,1)(1,1)=\varepsilon_1</math>
-<math>(0)(1,1)(1,1)(0)(1,1)(1,1)=\varepsilon_1\times2</math>
+<math>(0)(1,1)(1,1)(0,0)(1,1)(1,1)=\varepsilon_1\times2</math>
-<math>(0)(1,1)(1,1)(1)=\varepsilon_1\times\omega</math>
+<math>(0)(1,1)(1,1)(1,0)=\varepsilon_1\times\omega</math>
-<math>(0)(1,1)(1,1)(1)(2,1)=\varepsilon_1\times\varepsilon_0</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)=\varepsilon_1\times\varepsilon_0</math>
-<math>(0)(1,1)(1,1)(1)(2,1)(2)(3,1)=\varepsilon_1\times\varepsilon_0^2</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1)=\varepsilon_1\times\varepsilon_0^2</math>
-<math>(0)(1,1)(1,1)(1)(2,1)(2)(3,1)(3)(4,1)=\varepsilon_1\times\varepsilon_0^{\varepsilon_0}</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)=\varepsilon_1\times\varepsilon_0^{\varepsilon_0}</math>
-<math>(0)(1,1)(1,1)(1)(2,1)(2,1)=\varepsilon_1^2</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)=\varepsilon_1^2</math>
-<math>(0)(1,1)(1,1)(1)(2,1)(2,1)(2)=\varepsilon_1^\omega</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)=\varepsilon_1^\omega</math>
-<math>(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1)=\varepsilon_1^{\varepsilon_0}</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)=\varepsilon_1^{\varepsilon_0}</math>
-<math>(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1)(3,1)=\varepsilon_1^{\varepsilon_1}</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1)=\varepsilon_1^{\varepsilon_1}</math>
-<math>(0)(1,1)(1,1)(1)(2,1)(2,1)(2)(3,1)(3,1)(3)(4,1)(4,1)=\varepsilon_1^{\varepsilon_1^{\varepsilon_1}}</math>
+<math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1)(3,0)(4,1)(4,1)=\varepsilon_1^{\varepsilon_1^{\varepsilon_1}}</math>
 <math>(0)(1,1)(1,1)(1,1)=\varepsilon_2</math>
@@ 第151行： / 第151行： @@
 <math>(0)(1,1)(1,1)(1,1)(1,1)=\varepsilon_3</math>
-<math>(0)(1,1)(2)=\varepsilon_\omega</math>
+<math>(0)(1,1)(2,0)=\varepsilon_\omega</math>
-<math>(0)(1,1)(2)(1)=\varepsilon_\omega\times\omega</math>
+<math>(0)(1,1)(2,0)(1,0)=\varepsilon_\omega\times\omega</math>
-<math>(0)(1,1)(2)(1)(2,1)=\varepsilon_\omega\times\varepsilon_0</math>
+<math>(0)(1,1)(2,0)(1,0)(2,1)=\varepsilon_\omega\times\varepsilon_0</math>
-<math>(0)(1,1)(2)(1)(2,1)(2,1)=\varepsilon_\omega\times\varepsilon_1</math>
+<math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)=\varepsilon_\omega\times\varepsilon_1</math>
-<math>(0)(1,1)(2)(1)(2,1)(2,1)(2,1)=\varepsilon_\omega\times\varepsilon_2</math>
+<math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1)=\varepsilon_\omega\times\varepsilon_2</math>
-<math>(0)(1,1)(2)(1)(2,1)(2,1)(2,1)(2,1)=\varepsilon_\omega\times\varepsilon_3</math>
+<math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1)(2,1)=\varepsilon_\omega\times\varepsilon_3</math>
-<math>(0)(1,1)(2)(1)(2,1)(3)=\varepsilon_\omega^2</math>
+<math>(0)(1,1)(2,0)(1,0)(2,1)(3,0)=\varepsilon_\omega^2</math>
-<math>(0)(1,1)(2)(1)(2,1)(3)(2)(3,1)(4)=\varepsilon_\omega^{\varepsilon_\omega}</math>
+<math>(0)(1,1)(2,0)(1,0)(2,1)(3,0)(2,0)(3,1)(4,0)=\varepsilon_\omega^{\varepsilon_\omega}</math>
-<math>(0)(1,1)(2)(1,1)=\varepsilon_{\omega+1}</math>
+<math>(0)(1,1)(2,0)(1,1)=\varepsilon_{\omega+1}</math>
-<math>(0)(1,1)(2)(1,1)(1,1)=\varepsilon_{\omega+2}</math>
+<math>(0)(1,1)(2,0)(1,1)(1,1)=\varepsilon_{\omega+2}</math>
-<math>(0)(1,1)(2)(1,1)(1,1)(1,1)=\varepsilon_{\omega+3}</math>
+<math>(0)(1,1)(2,0)(1,1)(1,1)(1,1)=\varepsilon_{\omega+3}</math>
-<math>(0)(1,1)(2)(1,1)(2)=\varepsilon_{\omega\times2}</math>
+<math>(0)(1,1)(2,0)(1,1)(2,0)=\varepsilon_{\omega\times2}</math>
-<math>(0)(1,1)(2)(1,1)(2)(1,1)(2)=\varepsilon_{\omega\times3}</math>
+<math>(0)(1,1)(2,0)(1,1)(2,0)(1,1)(2,0)=\varepsilon_{\omega\times3}</math>
-<math>(0)(1,1)(2)(2)=\varepsilon_{\omega^2}</math>
+<math>(0)(1,1)(2,0)(2,0)=\varepsilon_{\omega^2}</math>
-<math>(0)(1,1)(2)(2)(2)=\varepsilon_{\omega^3}</math>
+<math>(0)(1,1)(2,0)(2,0)(2,0)=\varepsilon_{\omega^3}</math>
-<math>(0)(1,1)(2)(3)=\varepsilon_{\omega^\omega}</math>
+<math>(0)(1,1)(2,0)(3,0)=\varepsilon_{\omega^\omega}</math>
-<math>(0)(1,1)(2)(3)(4)=\varepsilon_{\omega^{\omega^\omega}}</math>
+<math>(0)(1,1)(2,0)(3,0)(4)=\varepsilon_{\omega^{\omega^\omega}}</math>
-<math>(0)(1,1)(2)(3,1)=\varepsilon_{\varepsilon_0}</math>
+<math>(0)(1,1)(2,0)(3,1)=\varepsilon_{\varepsilon_0}</math>
-<math>(0)(1,1)(2)(3,1)(1,1)=\varepsilon_{\varepsilon_0+1}</math>
+<math>(0)(1,1)(2,0)(3,1)(1,1)=\varepsilon_{\varepsilon_0+1}</math>
-<math>(0)(1,1)(2)(3,1)(3,1)=\varepsilon_{\varepsilon_1}</math>
+<math>(0)(1,1)(2,0)(3,1)(3,1)=\varepsilon_{\varepsilon_1}</math>
-<math>(0)(1,1)(2)(3,1)(4)=\varepsilon_{\varepsilon_\omega}</math>
+<math>(0)(1,1)(2,0)(3,1)(4,0)=\varepsilon_{\varepsilon_\omega}</math>
-<math>(0)(1,1)(2)(3,1)(4)(5,1)=\varepsilon_{\varepsilon_{\varepsilon_0}}</math>
+<math>(0)(1,1)(2,0)(3,1)(4,0)(5,1)=\varepsilon_{\varepsilon_{\varepsilon_0}}</math>
-<math>(0)(1,1)(2)(3,1)(4)(5,1)(6)(7,1)=\varepsilon_{\varepsilon_{\varepsilon_{\varepsilon_0}}}</math>
+<math>(0)(1,1)(2,0)(3,1)(4,0)(5,1)(6,0)(7,1)=\varepsilon_{\varepsilon_{\varepsilon_{\varepsilon_0}}}</math>
 <math>(0)(1,1)(2,1)=\zeta_0</math>
-<math>(0)(1,1)(2,1)(1)(2,1)(3,1)=\zeta_0^2</math>
+<math>(0)(1,1)(2,1)(1,0)(2,1)(3,1)=\zeta_0^2</math>
-<math>(0)(1,1)(2,1)(1)(2,1)(3,1)(2)(3,1)(4,1)=\zeta_0^{\zeta_0}</math>
+<math>(0)(1,1)(2,1)(1,0)(2,1)(3,1)(2,0)(3,1)(4,1)=\zeta_0^{\zeta_0}</math>
 <math>(0)(1,1)(2,1)(1,1)=\varepsilon_{\zeta_0+1}</math>
-<math>(0)(1,1)(2,1)(1,1)(1)(2,1)(3,1)(2,1)=\varepsilon_{\zeta_0+1}^2</math>
+<math>(0)(1,1)(2,1)(1,1)(1,0)(2,1)(3,1)(2,1)=\varepsilon_{\zeta_0+1}^2</math>
 <math>(0)(1,1)(2,1)(1,1)(1,1)=\varepsilon_{\zeta_0+2}</math>
-<math>(0)(1,1)(2,1)(1,1)(2)=\varepsilon_{\zeta_0+\omega}</math>
+<math>(0)(1,1)(2,1)(1,1)(2,0)=\varepsilon_{\zeta_0+\omega}</math>
-<math>(0)(1,1)(2,1)(1,1)(2)(3,1)=\varepsilon_{\zeta_0+\varepsilon_0}</math>
+<math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)=\varepsilon_{\zeta_0+\varepsilon_0}</math>
-<math>(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)=\varepsilon_{\zeta_0\times2}</math>
+<math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)=\varepsilon_{\zeta_0\times2}</math>
-<math>(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)=\varepsilon_{\varepsilon_{\zeta_0+1}}</math>
+<math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1)=\varepsilon_{\varepsilon_{\zeta_0+1}}</math>
-<math>(0)(1,1)(2,1)(1,1)(2)(3,1)(4,1)(3,1)(4)(5,1)(6,1)(5,1)=\varepsilon_{\varepsilon_{\varepsilon_{\zeta+1}}}</math>
+<math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1)(4,0)(5,1)(6,1)(5,1)=\varepsilon_{\varepsilon_{\varepsilon_{\zeta+1}}}</math>
 <math>(0)(1,1)(2,1)(1,1)(2,1)=\zeta_1</math>
@@ 第223行： / 第223行： @@
 <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)=\varepsilon_{\zeta_1+1}</math>
-<math>(0)(1,1)(2,1)(1,1)(2)=\varepsilon_{\zeta_1+\omega}</math>
+<math>(0)(1,1)(2,1)(1,1)(2,0)=\varepsilon_{\zeta_1+\omega}</math>
 <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)=\zeta_2</math>
@@ 第229行： / 第229行： @@
 <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)=\zeta_3</math>
-<math>(0)(1,1)(2,1)(2)=\zeta_\omega</math>
+<math>(0)(1,1)(2,1)(2,0)=\zeta_\omega</math>
-<math>(0)(1,1)(2,1)(2)(2)=\zeta_{\omega^2}</math>
+<math>(0)(1,1)(2,1)(2,0)(2,0)=\zeta_{\omega^2}</math>
-<math>(0)(1,1)(2,1)(2)(3,1)=\zeta_{\varepsilon_0}</math>
+<math>(0)(1,1)(2,1)(2,0)(3,1)=\zeta_{\varepsilon_0}</math>
-<math>(0)(1,1)(2,1)(2)(3,1)(4,1)=\zeta_{\zeta_0}</math>
+<math>(0)(1,1)(2,1)(2,0)(3,1)(4,1)=\zeta_{\zeta_0}</math>
-<math>(0)(1,1)(2,1)(2)(3,1)(4,1)(4)(5,1)(6,1)=\zeta_{\zeta_{\zeta_0}}</math>
+<math>(0)(1,1)(2,1)(2,0)(3,1)(4,1)(4,0)(5,1)(6,1)=\zeta_{\zeta_{\zeta_0}}</math>
 <math>(0)(1,1)(2,1)(2,1)=\eta_0</math>
@@ 第245行： / 第245行： @@
 <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)=\zeta_{\eta_0+1}</math>
-<math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2)(3,1)(4,1)(4,1)(3,1)(4,1)=\zeta_{\zeta_{\eta_0+1}}</math>
+<math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,0)(3,1)(4,1)(4,1)(3,1)(4,1)=\zeta_{\zeta_{\eta_0+1}}</math>
 <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)=\eta_1</math>
@@ 第251行： / 第251行： @@
 <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)=\eta_2</math>
-<math>(0)(1,1)(2,1)(2,1)(2)=\eta_\omega</math>
+<math>(0)(1,1)(2,1)(2,1)(2,0)=\eta_\omega</math>
 <math>(0)(1,1)(2,1)(2,1)(2,1)=\varphi(4,0)=\psi(\Omega^3)</math>
-<math>(0)(1,1)(2,1)(3)=\varphi(\omega,0)=\psi(\Omega^\omega)</math>
+<math>(0)(1,1)(2,1)(3,0)=\varphi(\omega,0)=\psi(\Omega^\omega)</math>
-<math>(0)(1,1)(2,1)(3)(1,1)=\varphi(1,\varphi(\omega,0)+1)=\psi(\Omega^\omega+1)</math>
+<math>(0)(1,1)(2,1)(3,0)(1,1)=\varphi(1,\varphi(\omega,0)+1)=\psi(\Omega^\omega+1)</math>
-<math>(0)(1,1)(2,1)(3)(1,1)(2,1)=\varphi(2,\varphi(\omega,0)+1)=\psi(\Omega^\omega+\Omega)</math>
+<math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)=\varphi(2,\varphi(\omega,0)+1)=\psi(\Omega^\omega+\Omega)</math>
-<math>(0)(1,1)(2,1)(3)(1,1)(2,1)(2,1)=\varphi(3,\varphi(\omega,0)+1)=\psi(\Omega^\omega+\Omega^2)</math>
+<math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(2,1)=\varphi(3,\varphi(\omega,0)+1)=\psi(\Omega^\omega+\Omega^2)</math>
-<math>(0)(1,1)(2,1)(3)(1,1)(2,1)(3)=\varphi(\omega,1)=\psi(\Omega^\omega\times2)</math>
+<math>(0)(1,1)(2,1)(3)(1,1)(2,1)(3,0)=\varphi(\omega,1)=\psi(\Omega^\omega\times2)</math>
-<math>(0)(1,1)(2,1)(3)(1,1)(2,1)(3)(1,1)(2,1)(3)=\varphi(\omega,2)=\psi(\Omega^\omega\times3)</math>
+<math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)=\varphi(\omega,2)=\psi(\Omega^\omega\times3)</math>
-<math>(0)(1,1)(2,1)(3)(2)=\varphi(\omega,\omega)=\psi(\Omega^\omega\times\omega)</math>
+<math>(0)(1,1)(2,1)(3,0)(2,0)=\varphi(\omega,\omega)=\psi(\Omega^\omega\times\omega)</math>
-<math>(0)(1,1)(2,1)(3)(2,1)=\varphi(\omega+1,0)=\psi(\Omega^{\omega+1})</math>
+<math>(0)(1,1)(2,1)(3,0)(2,1)=\varphi(\omega+1,0)=\psi(\Omega^{\omega+1})</math>
-<math>(0)(1,1)(2,1)(3)(2,1)(2,1)=\varphi(\omega+2,0)=\psi(\Omega^{\omega+2})</math>
+<math>(0)(1,1)(2,1)(3,0)(2,1)(2,1)=\varphi(\omega+2,0)=\psi(\Omega^{\omega+2})</math>
-<math>(0)(1,1)(2,1)(3)(2,1)(2,1)(2,1)=\varphi(\omega+3,0)=\psi(\Omega^{\omega+3})</math>
+<math>(0)(1,1)(2,1)(3,0)(2,1)(2,1)(2,1)=\varphi(\omega+3,0)=\psi(\Omega^{\omega+3})</math>
-<math>(0)(1,1)(2,1)(3)(2,1)(3)=\varphi(\omega\times2,0)=\psi(\Omega^{\omega\times2})</math>
+<math>(0)(1,1)(2,1)(3,0)(2,1)(3,0)=\varphi(\omega\times2,0)=\psi(\Omega^{\omega\times2})</math>
-<math>(0)(1,1)(2,1)(3)(2,1)(3)(2,1)(3)=\varphi(\omega\times3,0)=\psi(\Omega^{\omega\times3})</math>
+<math>(0)(1,1)(2,1)(3,0)(2,1)(3,0)(2,1)(3,0)=\varphi(\omega\times3,0)=\psi(\Omega^{\omega\times3})</math>
-<math>(0)(1,1)(2,1)(3)(3)=\varphi(\omega^2,0)=\psi(\Omega^{\omega^2})</math>
+<math>(0)(1,1)(2,1)(3,0)(3,0)=\varphi(\omega^2,0)=\psi(\Omega^{\omega^2})</math>
-<math>(0)(1,1)(2,1)(3)(4,1)=\varphi(\varphi(1,0),0)=\psi(\Omega^{\psi(0)})</math>
+<math>(0)(1,1)(2,1)(3,0)(4,1)=\varphi(\varphi(1,0),0)=\psi(\Omega^{\psi(0)})</math>
-<math>(0)(1,1)(2,1)(3)(4,1)(5,1)=\varphi(\varphi(2,0),0)=\psi(\Omega^{\psi(\Omega)})</math>
+<math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)=\varphi(\varphi(2,0),0)=\psi(\Omega^{\psi(\Omega)})</math>
-<math>(0)(1,1)(2,1)(3)(4,1)(5,1)(6)=\varphi(\varphi(\omega,0),0)=\psi(\Omega^{\psi(\Omega^\omega)})</math>
+<math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)=\varphi(\varphi(\omega,0),0)=\psi(\Omega^{\psi(\Omega^\omega)})</math>
-<math>(0)(1,1)(2,1)(3)(4,1)(5,1)(6)(7,1)(8,1)(9)=\varphi(\varphi(\varphi(\omega,0),0),0)=\psi(\Omega^{\psi(\Omega^{\psi(\Omega^\omega)})})</math>
+<math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)(7,1)(8,1)(9,0)=\varphi(\varphi(\varphi(\omega,0),0),0)=\psi(\Omega^{\psi(\Omega^{\psi(\Omega^\omega)})})</math>
 <math>(0)(1,1)(2,1)(3,1)=\varphi(1,0,0)=\Gamma_0=\psi(\Omega^\Omega)</math>
@@ 第295行： / 第295行： @@
 <math>(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)=\varphi(1,0,2)=\Gamma_2=\psi(\Omega^\Omega\times3)</math>
-<math>(0)(1,1)(2,1)(3,1)(2)=\varphi(1,0,\omega)=\Gamma_\omega=\psi(\Omega^\Omega\times\omega)</math>
+<math>(0)(1,1)(2,1)(3,1)(2,0)=\varphi(1,0,\omega)=\Gamma_\omega=\psi(\Omega^\Omega\times\omega)</math>
-<math>(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)=\varphi(1,0,\varphi(1,0,0))=\Gamma_{\Gamma_0}=\psi(\Omega^\Omega\times\psi(\Omega^\Omega))</math>
+<math>(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1)=\varphi(1,0,\varphi(1,0,0))=\Gamma_{\Gamma_0}=\psi(\Omega^\Omega\times\psi(\Omega^\Omega))</math>
-<math>(0)(1,1)(2,1)(3,1)(2)(3,1)(4,1)(5,1)(4)(5,1)(6,1)(7,1)=\varphi(1,0,\varphi(1,0,\varphi(1,0,0)))=\Gamma_{\Gamma_{\Gamma_0}}=\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times\psi(\Omega^\Omega)))</math>
+<math>(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1)(4,0)(5,1)(6,1)(7,1)=\varphi(1,0,\varphi(1,0,\varphi(1,0,0)))=\Gamma_{\Gamma_{\Gamma_0}}=\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times\psi(\Omega^\Omega)))</math>
 <math>(0)(1,1)(2,1)(3,1)(2,1)=\varphi(1,1,0)=\psi(\Omega^{\Omega+1})</math>
@@ 第305行： / 第305行： @@
 <math>(0)(1,1)(2,1)(3,1)(2,1)(2,1)=\varphi(1,2,0)=\psi(\Omega^{\Omega+2})</math>
-<math>(0)(1,1)(2,1)(3,1)(2,1)(3)=\varphi(1,\omega,0)=\psi(\Omega^{\Omega+\omega})</math>
+<math>(0)(1,1)(2,1)(3,1)(2,1)(3,0)=\varphi(1,\omega,0)=\psi(\Omega^{\Omega+\omega})</math>
-<math>(0)(1,1)(2,1)(3,1)(2,1)(3)(4,1)(5,1)(6,1)(5,1)(6)=\varphi(1,\varphi(1,\omega,0),0)=\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})</math>
+<math>(0)(1,1)(2,1)(3,1)(2,1)(3,0)(4,1)(5,1)(6,1)(5,1)(6,0)=\varphi(1,\varphi(1,\omega,0),0)=\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})</math>
 <math>(0)(1,1)(2,1)(3,1)(2,1)(3,1)=\psi(2,0,0)=\psi(\Omega^{\Omega\times2})</math>
@@ 第313行： / 第313行： @@
 <math>(0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,1)=\psi(3,0,0)=\psi(\Omega^{\Omega\times3})</math>
-<math>(0)(1,1)(2,1)(3,1)(3)=\varphi(\omega,0,0)=\psi(\Omega^{\Omega\times\omega})</math>
+<math>(0)(1,1)(2,1)(3,1)(3,0)=\varphi(\omega,0,0)=\psi(\Omega^{\Omega\times\omega})</math>
 <math>(0)(1,1)(2,1)(3,1)(3,1)=\varphi(1,0,0,0)=\psi(\Omega^{\Omega^2})</math>
@@ 第319行： / 第319行： @@
 <math>(0)(1,1)(2,1)(3,1)(3,1)(3,1)=\varphi(1,0,0,0,0)=\psi(\Omega^{\Omega^3})</math>
-<math>(0)(1,1)(2,1)(3,1)(4)=\psi(\Omega^{\Omega^\omega})</math>
+<math>(0)(1,1)(2,1)(3,1)(4,0)=\psi(\Omega^{\Omega^\omega})</math>
-<math>(0)(1,1)(2,1)(3,1)(4)(5,1)=\psi(\Omega^{\Omega^{\psi(0)}})</math>
+<math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)=\psi(\Omega^{\Omega^{\psi(0)}})</math>
-<math>(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)=\psi(\Omega^{\Omega^{\psi(\Omega)}})</math>
+<math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1)=\psi(\Omega^{\Omega^{\psi(\Omega)}})</math>
-<math>(0)(1,1)(2,1)(3,1)(4)(5,1)(6,1)(7,1)=\psi(\Omega^{\Omega^{\psi(\Omega^\Omega)}})</math>
+<math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1)(7,1)=\psi(\Omega^{\Omega^{\psi(\Omega^\Omega)}})</math>
 <math>(0)(1,1)(2,1)(3,1)(4,1)=\psi(\Omega^{\Omega^\Omega})</math>