Rayo's number

Etymology
Named after Agustín Rayo.

Noun

 * 1) The smallest number bigger than any finite number named by an expression in the language of set theory with a googol symbols or less.