User blog comment:KthulhuHimself/Terminal array notation./@comment-26428969-20151027080724/@comment-1605058-20151027133939

It's not an ordinal, it's a subsystem of second-order arithmetic.