Rayo – Atlético 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, 2017you should probably include the formal definition of rayo's function, since that specifies precisely the language of first order set theory to be used.

But i've heard of some numbers that are even larger than rayo's number. Oct 21, 20224 rayo's number is named by an expression in the language of first order set-theory.