场「大数战斗」中被定义的。
定义.拉约数最初被定义为：后来它被重新定义为「符合『大于任何使用一阶逻辑语言，并用不超过古戈尔个符号所能表示的数』的最小数」。这个数的正式定义使用了二阶逻辑，在下式中，formula_1为哥德尔编号，而formula_2则代表一个可被赋值的变数：