strong fffz分析Part6：修订间差异

←上一编辑下一编辑→

可视化wikitext

2026年7月30日 (四) 21:17的版本

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ 第112行： / 第112行： @@
 <math>\psi_Z[\omega^\omega](\omega^{\omega+1}) = (0)(1^{\omega+1})</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\omega^{\omega+2}) = (0)(1^{\omega+1})(2)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\omega^{\omega \times 2}) = (0)(1^{\omega+1})(2,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\omega^{\omega^2}) = (0)(1^{\omega+1})(2,1,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\omega^{\omega^\omega}) = (0)(1^{\omega+1})(2,1^\omega)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}, \omega^{\omega^{\omega+1}}](\omega^{\omega^{\omega+1}}) = (0)(1^{\omega+1})(2,1^\omega)(3)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}, \omega^{\omega^{\omega+1}}](\psi_Z[\omega^\omega](\omega^{\omega+1})) = (0)(1^{\omega+1})(2,1^\omega)(3,2^\omega,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\omega^{\omega^{\omega+1}}) = (0)(1^{\omega+1})(2,1^{\omega+1})</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z(\omega)) = (0)(1^{\omega+1})(2,2)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}, \psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega+1})](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega+1})) = (0)(1^{\omega+1})(2^\omega)(3)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega+1})) = (0)(1^{\omega+1})(2^\omega,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega+2})) = (0)(1^{\omega+1})(2^\omega,1)(3)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}, \omega^{\omega \times 2}](\omega^{\omega \times 2})) = (0)(1^{\omega+1})(2^\omega,1)(3,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}, \omega^{\omega \times 2}](\omega^{\omega^{\omega+1}})) = (0)(1^{\omega+1})(2^\omega,1)(3,1^{\omega+1})</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}, \omega^{\omega \times 2}](\psi_Z(\omega))) = (0)(1^{\omega+1})(2^\omega,1)(3,1^{\omega+1})(4,2)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}, \omega^{\omega \times 2}](\psi_Z[\omega^\omega](\omega^\omega))) = (0)(1^{\omega+1})(2^\omega,1)(3,1^{\omega+1})(4,2^\omega)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}, \omega^{\omega \times 2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega+1}))) = (0)(1^{\omega+1})(2^\omega,1)(3,1^{\omega+1})(4,2^\omega,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega \times 2})) = (0)(1^{\omega+1})(2^\omega,1)(3,2)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}, \omega^{\omega^2}](\omega^{\omega^{\omega+1}})) = (0)(1^{\omega+1})(2^\omega,1)(3,2,1^\omega,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega^2})) = (0)(1^{\omega+1})(2^\omega,1)(3,2,2)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega^\omega})) = (0)(1^{\omega+1})(2^\omega,1)(3,2^\omega)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\omega^{\omega^{\omega+1}})) = (0)(1^{\omega+1})(2^\omega,1)(3,2^\omega,1)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\psi_Z(\omega))) = (0)(1^{\omega+1})(2^\omega,1)(3,3)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega, \omega^{\omega+1}](\psi_Z[\omega^\omega](\omega^\omega))) = (0)(1^{\omega+1})(2^\omega,1)(3^\omega)</math>
+<math>\psi_Z[\omega^\omega, \omega^{\omega+2}](\psi_Z[\omega^\omega](\omega^{\omega+1})) = (0)(1^{\omega+1})(2^{\omega+1})</math>
+<math>\psi_Z[\omega^\omega](\omega^{\omega+2}) = (0)(1^{\omega+2})</math>
 <math>\psi_Z[\omega^\omega](\omega^{\omega \times 2}) = (0)(1^{\omega \times 2})</math>