Rayo – Atletico Madryt

Aug 13, 2016i was reading about large numbers, and came across rayo's number which is defined to be the smallest integer that is not nameable by any expression in the language of set theory that. $\text {loader's number} < bb (1015) < bb (2^ {65536}-1) \leq rayo (7339) < rayo (10^ {100})$ the proof that $\text {loader's number} < bb (1015)$ is that "output_loader.txt", a $1015$ -state, $2$ . Mar 23, 2017rayo's function defined in english:

"$\\operatorname{rayo}(n)$ is the smallest positive integer bigger than any finite positive integer named by an expression in the language of first order. Feb 18, 20230 rayo's number the smallest number bigger than any finite number named by an expression in the language of first-order set theory with a googol symbols or less. Oct 21, 2022rayo's number is named by an expression in the language of first order set-theory.