Rayo's number

The definition of Rayo's number is a variation on the definition: The smallest number bigger than any finite number named by an expression in the language of set theory with a googol symbols or less