Kruskal's tree theorem

In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.

A finitary application of the theorem gives the existence of the fast-growing TREE function. TREE(3) is largely accepted to be one of the largest simply defined finite numbers, dwarfing other large numbers such as Graham's number and googolplex.^[1]