使用弱φ
从φ(1;0)=φ(1@(1@(1@(...))))开始
φ(1;1)=φ(1;0)+φ(1;0)+φ(1;0)+...
φ(1;1,0)=φ(1;φ(1;φ(1;...)))
φ(1;1@(1,0))=φ(1;1@φ(1;1@φ(1;1@...)))
φ(2;0)=φ(1;1@(1;1@(1;1@(...))))
φ(1,0;0)=φ(φ(φ(...;0);0);0)
φ(1;0;0)=φ(1@(1@(1@(...);0);0);0)
φ(1;@(1,0))=φ(1;@φ(1;@φ(1;@...)))
φ(1;@(1;0))=φ(1;@(1@(1;@(1@(1;@(1@(...)))))))
φ(1[3]0)=φ(1;;0)=φ(1;@(1;@(1;@(...))))
φ(1[4]0)=φ(1;;@(1;;@(1;;@(...))))
φ(1[5]0)=φ(1[4]@(1[4]@(1[4]@(...))))
φ(1[1,0]0)=φ(1[φ(1[φ(1[...]0)]0)]0)
φ(1[1;0]0)=φ(1[1@(1[1@(1[1@(...)]0)]0)]0)
φ(1[1[1,0]0]0)=φ(1[1[φ(1[1[φ(1[1[...]0]0)]0]0)]0]0)
φ(1□0)=φ(1[1[1[...]0]0]0)