User:Wythagoras/Dollar function/Linear Array Notation/Deeper analysis

Up to \(\psi(\psi_I(1))\)
Note that an expression with [0][0,1] is just as powerful as an expression with [0,1], because [0,1] will expand to [0][0] [0] ... with a very large number of [0]s.