User blog comment:Vel!/Googology and well-defined-ness/@comment-4224897-20141007121620/@comment-5307762-20141010003435

is"..."not allowed in formal definition? wow.

Though I think that Linear arrays can be defined avoiding using dots.