[drjesusphd]

Graham's number comes from such an extension, and is about 64 such operations deeper. It's useful in the sense that it provides an upper bound for some proof that hasn't yet been proven for ALL numbers.

http://waitbutwhy.com/2014/11/1000000-grahams-number.html