现在有一项阅读理解的任务，我会提出一个问题，还会提供一段文本，你需要通读这段文本，然后根据这段文本回答我所提出的问题。问题：尼姆数是哪门理论引进的数学对象？，文本：组合博弈论引入了一类数学对象，称为尼姆数，它们被定义为尼姆堆的值。但是由于斯普莱格–格隆第定理，它们可以用于一大类游戏的研究。事实上，尼姆数是在序数的真类上赋予尼姆加法和尼姆乘法的运算之后形成的概念。这些运算和通常施行于序数类上的加法和乘法并不相同。斯普莱格–格隆第定理指出：每个无偏博弈等价于一个特定大小的尼姆堆。尼姆数的加法运算（叫做尼姆加法）可以用于计算等价于多个堆的单一尼姆堆大小。这被定义为对于序数的集合"S"，mex("S")定义为“局外最小序数”，也就是说序数中不是"S"的元素的最小一个。对于有限序数，尼姆和即是两个数进行异或运算的结果，这个结果也可以简单地通过将相加的各个数字的二进制表示逐位进行不进位的加法而得到（例如，100010＋110010＝10000）。尼姆数的乘法运算（尼姆乘法）可以递归地定义如下：全体尼姆数不能组成普通集合而只是真类。要是把它当作普通集合，或者考虑其任意的一个对尼姆加法和乘法封闭的子集，那么尼姆数的类可以构成一个特征为2的代数封闭域。尼姆加法的单位元是序数0，而尼姆乘法的单位元则是序数1。由于特征为2，α的尼姆加法逆元是α自身。非零序数α的尼姆乘法逆元是mex("S")，这里"S"是满足以下条件的序数集合：若"n"是自然数，小于formula_2的尼姆数组成一个formula_2阶的有限域formula_4。正如尼姆加法，有限序数的尼姆积也有一些有意思的结果：尼姆数组成的最小代数封闭域是由小于formula_6的序数构成的，这里ω是最小的无限序数。因此，作为尼姆数的formula_6是尼姆数“域”上最小的超越数。以下表格列出了最小16个尼姆数的加法和乘法表。因为16是一个费马幂（形如formula_2），因此这个子集是封闭的。
组合博弈论