User blog comment:Wythagoras/FGH of Dollar Function new version/@comment-11227630-20131109131352/@comment-5029411-20131110142459

Then we defined U(1,0) = U(U(...)), U(2,0) = U(1,U(1,...)), ...

Also U(1,0,0) = U(U(...,0),0), etc. And U(A or AXi(1,0)) = U(1,0)

A for Aarex's cardinals.

Next is AXi(1,1), which is AXi(1,0)A Xi(1,0)...