Rayo's number

名詞

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

日本語の意味

集合論の言語において、グーゴル個以下の記号で表される式で名付けられるどんな有限の数よりも大きい、最小の数。

このボタンはなに？

Rayo's number is defined as the smallest integer larger than any finite number that can be named by a formula in the language of set theory using at most a googol symbols.

それは、記号数がグーゴル以下の集合論の言語の式で名付けられる任意の有限数より大きい最小の整数として定義される。

詳細

意味（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.