O número de Rayo é um número muito grande cujo nome se refere ao matemático Agustín Rayo, e que pode ser considerado o maior inteiro para o qual existe uma designação. Foi originalmente definido num "duelo de números grandes" no MIT em 26 de janeiro de 2007.
Definição A definição do número de Rayo é uma variante da definição seguinte:
Especificamente, uma versão inicial da definição, mais tarde esclarecida, indicava "o mais pequeno número que seja maior que qualquer número que possa ser expresso numa linguagem de primeira orde de teoria de conjuntos com menos que um googol (10100) símbolos."
A definição formal do número usa a seguinta fórmula de segunda ordem, em que [φ] é uma fórmula Gödel-codificada (Numeração de Gödel) e s uma atribuação de variável:
∀R { {for any (coded) formula [ψ] and any variable assignment t (R( [ψ],t) ↔ ( ([ψ] = `x_i ∈ x_j' ∧ t(x_1) ∈ t(x_j)) ∨ ([ψ] = `x_i = x_j' ∧ t(x_1) = t(x_j)) ∨ ([ψ] = `(∼θ)' ∧ ∼R([θ],t)) ∨ ([ψ] = `(θ∧ξ)' ∧ R([θ],t) ∧ R([ξ],t)) ∨ ([ψ] = `∃x_i (θ)' and, for some an xi-variant t' of t, R([θ],t')) )} → R([φ],s)}
Com esta fórmula, o número de Rayo é definido como:
Rayo