目前发表在数学期刊上的最大的有限数是 TREE(3)。
TREE 函数是在研究 Kruskal 树问题的时候定义的。Kruskal 证明了一个定理：
那么既然 Kruskal 序列是有限的，Harvey Friedman 就定义了一个 TREE(k)，表示 k 染色下序列长度的最大值，可以证明 TREE(1) = 1, TREE(2) = 3, TREE(3) 则是一个大到难以想象的数值：如果定义（超运算），那么。哦对了，Graham 数的大概大小是。目前还没人给出过 TREE(3) 的上界，只知道它是有限的。
顺带一提的是 TREE
已经超过了，而 Graham 数用普普通通的就能描述了。
而「不是有限」的数就多了……比如第一个无限序数 ω，更大的无限序数，以及更大的
序数，等等。
