FANDOM


The Large Number Garden Number is equal to \(f^{10}(10 \uparrow^{10} 10)\), where \(f\) is the function defined in First Order Theory beyond Higher Order Set Theory.[1][2] The term was coined by Googology Wiki user P進大好きbot.

This number can be considered to be the largest well-defined googologism which is not a salad number.

Sources

  1. 高階集合論を超えた1階述語論理 by p進大好きbot (the Japanese first source of the definition)
  2. First Order Theory beyond Higher Order Set Theory by P進大好きbot (the English summary of the first source)
Community content is available under CC-BY-SA unless otherwise noted.