Forum:Proving termination of Array Notation

I have no doubts whatsoever that array notation is well-defined, but I'm curious about how we can go about proving that the rules cause termination for every valid array. it's vel time 16:46, November 19, 2014 (UTC)