An amount of pizza defined by the smallest number bigger than every finite number
m with the following property: there is a formula ϕ(x₁) in the language of first-order set-theory (as presented in the definition of Sat) with less than a googol symbols and x₁ as its only free variable such that: (a) there is a variable assignment
s assigning
m to x₁ such that Sat([ϕ(x₁)],
s), and (b) for any variable assignment
t, if Sat([ϕ(x₁)],
t), then
t assigns
m to x₁.
Note from Andrew: This is Rayo's Number. I have written it out in full so there is no ambiguity about how many pizzas I want. I want this many pizzas.