Question

Formula Of Rayo's Number​

Answer 1

Answer:

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

Step-by-step explanation:

∀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)}

Answer 2

Answer:

10^100

Step-by-step explanation:

ANY ONE WILL FOLLOW ME THEN I WILL FOLLOW BACK