So its clear:<p>It's the smallest positive integer bigger than any finite positive integer, "named" (defined, so some formula without explicitly writing it out) by an expression in the language of first order set theory with a googol symbols (10^100) or less.<p>I remember reading busy beaver numbers can be defined in a language with millions of symbols, so this number is pretty impressive.