# 拉約數

## 定義

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

## 參考文獻

1. ^ CH. Rayo's Number. The Math Factor Podcast. [2014-03-24].
2. ^ Kerr, Josh. Name the biggest number contest. 2013-12-07 [2014-03-27]. （原始内容存档于2016-03-20）.
3. ^ Googology Wiki. [2015-03-14].
4. ^ Wojowu and Nathan Ho. First-order oodle theory. snappizz.com. [2014-11-11]. （原始内容存档于2014-11-05）.
5. ^ FOOT is not as strong as I thought. LittlePeng9's user blog.
6. ^ CH. Rayo's Number. The Math Factor Podcast. [2014-05-24].
7. ^ Kerr, Josh. Name the biggest number contest. 2013-12-07 [2014-03-27]. （原始内容存档于2016-03-20）.
8. ^ Elga, Adam. Large Number Championship (PDF). [2014-03-24].
9. Manzari, Mandana; Nick Semenkovich. Profs Duke It Out in Big Number Duel. The Tech. 2007-01-31 [2014-05-24].
10. Rayo, Augustin. Big Number Duel. [2014-03-24].