strong fffz分析Part1：修订间差异

可视化wikitext

2026年8月2日 (日) 14:43的最新版本

$ψ_{Z} (0) = 1$

$ψ_{Z} [1] (1) = 2$

$ψ_{Z} [1] (ψ_{Z} [1] (1)) = 3$

$ψ_{Z} (1) = ω$

$ψ_{Z} [2] (2) = ω + 1$

$ψ_{Z} [2] (ψ_{Z} (1)) = ω \times 2$

$ψ_{Z} [2] (ψ_{Z} [2] (2)) = ω \times 2 + 1$

$ψ_{Z} (2) = ω^{2}$

$ψ_{Z} [ω] (ω) = ω^{ω}$

$ψ_{Z} [ω] (ω + 1) = ω^{ω + 1}$

$ψ_{Z} [ω] (ω^{2}) = ω^{ω^{2}}$

$ψ_{Z} [ω] (ψ_{Z} [ω] (ω)) = ω^{ω^{ω}}$

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

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

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

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

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

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

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

$ψ_{Z} [ω^{2}] (ω^{2}) = (0) (1, 1) (2)$

$ψ_{Z} [ω^{2}, ω^{2} + ω] (ω^{2} + ω) = (0) (1, 1) (2) (1) (2)$

$ψ_{Z} [ω^{2}] (ω^{2} + ω) = (0) (1, 1) (2) (1, 1)$

$ψ_{Z} [ω^{2}] (ω^{2} \times 2) = (0) (1, 1) (2) (1, 1) (2)$

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

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

$ψ_{Z} [ω^{2}, ω^{ω}, ω^{ω} + ω] (ω^{ω} + ω) = (0) (1, 1) (2) (3) (1) (2)$

$ψ_{Z} [ω^{2}, ω^{ω}] (ω^{ω} + ω) = (0) (1, 1) (2) (3) (1, 1)$

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

$ψ_{Z} [ω^{2}, ω^{ω}] (ω^{ω + 1}) = (0) (1, 1) (2) (3) (2)$

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

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

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

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

$ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} (ω) + ω) = (0) (1, 1) (2) (3, 1) (1, 1)$

$ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} (ω + 1)) = (0) (1, 1) (2) (3, 1) (2)$

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

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

$ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω + 1))) = (0) (1, 1) (2) (3, 1) (3)$

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

$ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω^{2}, ω^{ω}] (ω^{ω})) = (0) (1, 1) (2) (3, 1) (4) (5)$

$ψ_{Z} [ω^{2}] (ω^{ω}) = (0) (1, 1) (2, 1)$

$ψ_{Z} [ω^{2}] (ω^{ω} + ω) = (0) (1, 1) (2, 1) (1, 1)$

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

$ψ_{Z} [ω^{2}] (ω^{ω} \times 2) = (0) (1, 1) (2, 1) (1, 1) (2, 1)$

$ψ_{Z} [ω^{2}] (ω^{ω + 1}) = (0) (1, 1) (2, 1) (2)$

$ψ_{Z} [ω^{2}] (ω^{ω + 1} + ω^{ω}) = (0) (1, 1) (2, 1) (2) (1, 1) (2, 1)$

$ψ_{Z} [ω^{2}] (ω^{ω + 2}) = (0) (1, 1) (2, 1) (2) (2)$

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

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

$ψ_{Z} [ω^{2}, ω^{ω \times 2}] (ψ_{Z} [ω^{2}, ω^{ω \times 2}] (ω^{ω \times 2})) = (0) (1, 1) (2, 1) (2) (3, 1) (4, 1) (4) (5)$

$ψ_{Z} [ω^{2}] (ω^{ω \times 2}) = (0) (1, 1) (2, 1) (2, 1)$

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

$ψ_{Z} [ω^{2}] (ω^{ω^{2} + ω}) = (0) (1, 1) (2, 1) (3) (2, 1)$

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

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

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

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

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

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

$ψ_{Z} [ω^{2}, ω^{ω^{ω}}] (ψ_{Z} [ω^{2}, ω^{ω^{ω}}] (ω^{ω^{ω}})) = (0) (1, 1) (2, 1) (3) (4, 1) (5, 1) (6) (7)$

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

$ψ_{Z} [ω^{2}, ω^{ω^{ω} + ω}] (ω^{ω^{ω} + ω}) = (0) (1, 1) (2, 1) (3, 1) (2) (3)$

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

$ψ_{Z} [ω^{2}, ω^{ω^{ω} + ω}] (ω^{ω^{ω} + ω} + ω^{ω^{ω}}) = (0) (1, 1) (2, 1) (3, 1) (2) (3) (1, 1) (2, 1) (3, 1)$

$ψ_{Z} [ω^{2}] (ω^{ω^{ω} + ω}) = (0) (1, 1) (2, 1) (3, 1) (2, 1)$

$ψ_{Z} [ω^{2}] (ω^{ω^{ω + 1}}) = (0) (1, 1) (2, 1) (3, 1) (3)$

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

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

$ψ_{Z} [ω^{2}, ω^{ω^{ω^{ω}}}] (ω^{ω^{ω^{ω}}}) = (0) (1, 1) (2, 1) (3, 1) (4) (5)$

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

$ψ_{Z} [ω^{2}] (ψ_{Z} (ω)) = (0) (1, 1) (2, 2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} (ω) + ω) = (0) (1, 1) (2, 2) (1, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} (ω) \times 2) = (0) (1, 1) (2, 2) (1, 1) (2, 2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} (ω + 1)) = (0) (1, 1) (2, 2) (2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} (ω + 1) + ψ_{Z} (ω)) = (0) (1, 1) (2, 2) (2) (1, 1) (2, 2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} (ω + 2)) = (0) (1, 1) (2, 2) (2) (2)$

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

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

$ψ_{Z} [ω^{2}, ψ_{Z} [ω \times 2] (ω \times 2)] (ψ_{Z} [ω^{2}, ψ_{Z} [ω \times 2] (ω \times 2)] (ψ_{Z} [ω \times 2] (ω \times 2))) = (0) (1, 1) (2, 2) (2) (3, 1) (4, 2) (4) (5)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ω \times 2)) = (0) (1, 1) (2, 2) (2, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ω \times 2 + 1)) = (0) (1, 1) (2, 2) (2, 1) (2)$

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

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

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

$ψ_{Z} [ω^{2}, ψ_{Z} [ω \times 2] (ω^{ω})] (ψ_{Z} [ω \times 2] (ω^{ω})) = (0) (1, 1) (2, 2) (2, 1) (3) (4)$

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ω^{ω^{ω}})) = (0) (1, 1) (2, 2) (2, 1) (3, 1) (4, 1)$

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω) + ω)) = (0) (1, 1) (2, 2) (2, 1) (3, 2) (2, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω + 1))) = (0) (1, 1) (2, 2) (2, 1) (3, 2) (3)$

$ψ_{Z} [ω^{2}, ψ_{Z} [ω \times 2] (ψ_{Z} [ω \times 2] (ω \times 2))] (ψ_{Z} [ω \times 2] (ψ_{Z} [ω \times 2] (ω \times 2))) = (0) (1, 1) (2, 2) (2, 1) (3, 2) (3) (4)$

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ψ_{Z} [ω \times 2] (ω^{2}))) = (0) (1, 1) (2, 2) (2, 1) (3, 2) (3, 1) (4)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ψ_{Z} [ω \times 2] (ω^{ω}))) = (0) (1, 1) (2, 2) (2, 1) (3, 2) (3, 1) (4, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω \times 2] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω))) = (0) (1, 1) (2, 2) (2, 1) (3, 2) (3, 1) (4, 2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} (ω \times 2)) = (0) (1, 1) (2, 2) (2, 2)$

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}] (ω^{2} + ω)) = (0) (1, 1) (2, 2) (3) (2, 2)$

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

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

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ω^{ω + 1})) = (0) (1, 1) (2, 2) (3, 1) (3)$

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

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

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

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ω \times 2))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (3, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ω^{2}))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (3, 1) (4)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ω^{ω}))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (3, 1) (4, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω)))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (3, 1) (4, 2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω) + ω))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (3, 1) (4, 2) (3, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω + 1)))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (4)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ψ_{Z} [ω \times 2] (ω \times 2)))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (4, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω \times 2] (ψ_{Z} [ω \times 2] (ψ_{Z} (ω))))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (4, 1) (5, 2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} (ω \times 2))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (4, 2)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω^{2}] (ω^{2}))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (5)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω^{2}, ω^{ω}] (ω^{ω}))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (5, 1)$

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} [ω^{2}, ω^{ω}] (ψ_{Z} (ω)))) = (0) (1, 1) (2, 2) (3, 1) (4, 2) (5, 1) (6, 2)$

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}] (ω^{ω} + ω)) = (0) (1, 1) (2, 2) (3, 2) (2, 2)$

$ψ_{Z} [ω^{2}, ψ_{Z} [ω^{2}, ω^{ω} \times 2] (ω^{ω} \times 2)] (ψ_{Z} [ω^{2}, ω^{ω} \times 2] (ω^{ω} \times 2)) = (0) (1, 1) (2, 2) (3, 2) (2, 2) (3) (4)$

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

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

$ψ_{Z} [ω^{2}] (ψ_{Z} [ω^{2}] (ω^{ω + 1})) = (0) (1, 1) (2, 2) (3, 2) (3)$

$ψ_{Z} [ω^{2}, ψ_{Z} [ω^{2}, ω^{ω \times 2}] (ω^{ω \times 2})] (ψ_{Z} [ω^{2}, ω^{ω \times 2}] (ω^{ω \times 2})) = (0) (1, 1) (2, 2) (3, 2) (3) (4)$

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

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

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

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

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

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

@@ 第48行： / 第48行： @@
 <math>\psi_Z[\omega^2, \omega^\omega](\omega^\omega) = (0)(1,1)(2)(3)</math>
+<math>\color{red}\psi_Z[\omega^2, \omega^\omega, \omega^\omega + \omega](\omega^\omega + \omega) = (0)(1,1)(2)(3)(1)(2)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\omega^\omega + \omega) = (0)(1,1)(2)(3)(1,1)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\omega^\omega \times 2) = (0)(1,1)(2)(3)(1,1)(2)(3)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\omega^{\omega+1}) = (0)(1,1)(2)(3)(2)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\omega^{\omega \times 2}) = (0)(1,1)(2)(3)(2)(3)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\omega^{\omega^2}) = (0)(1,1)(2)(3)(3)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\omega^{\omega^\omega}) = (0)(1,1)(2)(3)(4)</math>
 <math>\psi_Z[\omega^2, \omega^\omega](\psi_Z(\omega)) = (0)(1,1)(2)(3,1)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\psi_Z(\omega) + \omega) = (0)(1,1)(2)(3,1)(1,1)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\psi_Z(\omega+1)) = (0)(1,1)(2)(3,1)(2)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\omega \times 2)) = (0)(1,1)(2)(3,1)(2)(3)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\psi_Z(\omega))) = (0)(1,1)(2)(3,1)(2)(3,1)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\psi_Z(\omega+1))) = (0)(1,1)(2)(3,1)(3)</math>
+<math>\psi_Z[\omega^2, \omega^\omega](\psi_Z(\omega \times 2)) = (0)(1,1)(2)(3,1)(3,1)</math>
 <math>\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega^2, \omega^\omega](\omega^\omega)) = (0)(1,1)(2)(3,1)(4)(5)</math>
@@ 第82行： / 第108行： @@
 <math>\psi_Z[\omega^2, \omega^{\omega^\omega}](\omega^{\omega^\omega}) = (0)(1,1)(2,1)(3)(4)</math>
+<math>\psi_Z[\omega^2, \omega^{\omega^\omega}, \omega^{\omega^\omega+\omega}](\omega^{\omega^\omega+\omega}) = (0)(1,1)(2,1)(3)(4)(2)(3)</math>
+<math>\psi_Z[\omega^2, \omega^{\omega^\omega}, \omega^{\omega^\omega+\omega}](\omega^{\omega^\omega+\omega}+\omega^{\omega^\omega}) = (0)(1,1)(2,1)(3)(4)(2)(3)(1,1)(2,1)(3)(4)</math>
+<math>\psi_Z[\omega^2, \omega^{\omega^\omega}](\omega^{\omega^\omega+\omega}) = (0)(1,1)(2,1)(3)(4)(2,1)</math>
 <math>\psi_Z[\omega^2, \omega^{\omega^\omega}](\psi_Z(\omega)) = (0)(1,1)(2,1)(3)(4,1)</math>
@@ 第88行： / 第120行： @@
 <math>\psi_Z[\omega^2](\omega^{\omega^\omega}) = (0)(1,1)(2,1)(3,1)</math>
+<math>\psi_Z[\omega^2, \omega^{\omega^\omega+\omega}](\omega^{\omega^\omega+\omega}) = (0)(1,1)(2,1)(3,1)(2)(3)</math>
+<math>\psi_Z[\omega^2, \omega^{\omega^\omega+\omega}, \omega^{\omega^\omega+\omega}+\omega^{\omega^\omega}](\omega^{\omega^\omega+\omega}+\omega^{\omega^\omega}) = (0)(1,1)(2,1)(3,1)(2)(3)(1,1)(2,1)(3)(4)</math>
+<math>\psi_Z[\omega^2, \omega^{\omega^\omega+\omega}](\omega^{\omega^\omega+\omega}+\omega^{\omega^\omega}) = (0)(1,1)(2,1)(3,1)(2)(3)(1,1)(2,1)(3,1)</math>
 <math>\psi_Z[\omega^2](\omega^{\omega^\omega+\omega}) = (0)(1,1)(2,1)(3,1)(2,1)</math>
@@ 第102行： / 第140行： @@
 <math>\psi_Z[\omega^2](\psi_Z(\omega)) = (0)(1,1)(2,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z(\omega) + \omega) = (0)(1,1)(2,2)(1,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z(\omega) \times 2) = (0)(1,1)(2,2)(1,1)(2,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z(\omega+1)) = (0)(1,1)(2,2)(2)</math>
+<math>\psi_Z[\omega^2](\psi_Z(\omega+1) + \psi_Z(\omega)) = (0)(1,1)(2,2)(2)(1,1)(2,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z(\omega+2)) = (0)(1,1)(2,2)(2)(2)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega \times 2](\omega \times 2)](\psi_Z[\omega \times 2](\omega \times 2)) = (0)(1,1)(2,2)(2)(3)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega \times 2](\omega \times 2)](\psi_Z(\omega \times 2)) = (0)(1,1)(2,2)(2)(3,1)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega \times 2](\omega \times 2)](\psi_Z[\omega^2, \psi_Z[\omega \times 2](\omega \times 2)](\psi_Z[\omega \times 2](\omega \times 2))) = (0)(1,1)(2,2)(2)(3,1)(4,2)(4)(5)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\omega \times 2)) = (0)(1,1)(2,2)(2,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\omega \times 2+1)) = (0)(1,1)(2,2)(2,1)(2)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega \times 2](\omega \times 3)](\psi_Z[\omega \times 2](\omega \times 3)) = (0)(1,1)(2,2)(2,1)(2)(3)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\omega \times 3)) = (0)(1,1)(2,2)(2,1)(2,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\omega^2)) = (0)(1,1)(2,2)(2,1)(3)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega \times 2](\omega^\omega)](\psi_Z[\omega \times 2](\omega^\omega)) = (0)(1,1)(2,2)(2,1)(3)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\omega^\omega)) = (0)(1,1)(2,2)(2,1)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\omega^{\omega^\omega})) = (0)(1,1)(2,2)(2,1)(3,1)(4,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\psi_Z(\omega))) = (0)(1,1)(2,2)(2,1)(3,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\psi_Z(\omega) + \omega)) = (0)(1,1)(2,2)(2,1)(3,2)(2,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\psi_Z(\omega+1))) = (0)(1,1)(2,2)(2,1)(3,2)(3)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\omega \times 2))](\psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\omega \times 2))) = (0)(1,1)(2,2)(2,1)(3,2)(3)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\omega \times 2))) = (0)(1,1)(2,2)(2,1)(3,2)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\omega^2))) = (0)(1,1)(2,2)(2,1)(3,2)(3,1)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\omega^\omega))) = (0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\psi_Z(\omega))) = (0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z(\omega \times 2)) = (0)(1,1)(2,2)(2,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^2)) = (0)(1,1)(2,2)(3)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^2 + \omega)) = (0)(1,1)(2,2)(3)(2,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^3)) = (0)(1,1)(2,2)(3)(3)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega^2, \omega^\omega](\omega^\omega)](\psi_Z[\omega^2, \omega^\omega](\omega^\omega)) = (0)(1,1)(2,2)(3)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\omega^\omega)) = (0)(1,1)(2,2)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\omega^{\omega+1})) = (0)(1,1)(2,2)(3,1)(3)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\omega^{\omega \times 2})) = (0)(1,1)(2,2)(3,1)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\omega^{\omega^2})) = (0)(1,1)(2,2)(3,1)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\omega^{\omega^\omega})) = (0)(1,1)(2,2)(3,1)(4,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z(\omega))) = (0)(1,1)(2,2)(3,1)(4,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\omega \times 2))) = (0)(1,1)(2,2)(3,1)(4,2)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\omega^2))) = (0)(1,1)(2,2)(3,1)(4,2)(3,1)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\omega^\omega))) = (0)(1,1)(2,2)(3,1)(4,2)(3,1)(4,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\psi_Z(\omega)))) = (0)(1,1)(2,2)(3,1)(4,2)(3,1)(4,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\psi_Z(\omega)+\omega))) = (0)(1,1)(2,2)(3,1)(4,2)(3,1)(4,2)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\psi_Z(\omega+1)))) = (0)(1,1)(2,2)(3,1)(4,2)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\omega \times 2)))) = (0)(1,1)(2,2)(3,1)(4,2)(4,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega \times 2](\psi_Z[\omega \times 2](\psi_Z(\omega))))) = (0)(1,1)(2,2)(3,1)(4,2)(4,1)(5,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z(\omega \times 2))) = (0)(1,1)(2,2)(3,1)(4,2)(4,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega^2](\omega^2))) = (0)(1,1)(2,2)(3,1)(4,2)(5)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega^2, \omega^\omega](\omega^\omega))) = (0)(1,1)(2,2)(3,1)(4,2)(5,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega](\psi_Z[\omega^2, \omega^\omega](\psi_Z(\omega)))) = (0)(1,1)(2,2)(3,1)(4,2)(5,1)(6,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^\omega)) = (0)(1,1)(2,2)(3,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^\omega + \omega)) = (0)(1,1)(2,2)(3,2)(2,2)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega^2, \omega^\omega \times 2](\omega^\omega \times 2)](\psi_Z[\omega^2, \omega^\omega \times 2](\omega^\omega \times 2)) = (0)(1,1)(2,2)(3,2)(2,2)(3)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^\omega \times 2](\omega^\omega \times 2)) = (0)(1,1)(2,2)(3,2)(2,2)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^\omega \times 2)) = (0)(1,1)(2,2)(3,2)(2,2)(3,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^{\omega+1})) = (0)(1,1)(2,2)(3,2)(3)</math>
+<math>\psi_Z[\omega^2, \psi_Z[\omega^2, \omega^{\omega \times 2}](\omega^{\omega \times 2})](\psi_Z[\omega^2, \omega^{\omega \times 2}](\omega^{\omega \times 2})) = (0)(1,1)(2,2)(3,2)(3)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2, \omega^{\omega \times 2}](\omega^{\omega \times 2})) = (0)(1,1)(2,2)(3,2)(3,1)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^{\omega \times 2})) = (0)(1,1)(2,2)(3,2)(3,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^{\omega^2})) = (0)(1,1)(2,2)(3,2)(4)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\omega^{\omega^\omega})) = (0)(1,1)(2,2)(3,2)(4,2)</math>
+<math>\psi_Z[\omega^2](\psi_Z[\omega^2](\psi_Z(\omega))) = (0)(1,1)(2,2)(3,3)</math>
+<math>\psi_Z(\omega^2) = (0)(1,1,1)</math>
+[[分类:分析]]