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