成图论中的染色问题，然后再用讨论的术语把拉姆塞定理给表述出来。

从拉姆塞定理，又能引申出一个拉姆塞理论，用来在大而无迭序的结构中，寻找必然出现的有迭序的子结构。

葛立恒说，拉姆塞理论是组合数学的分支。

他本人也是在这个理论的基础上，才提出来了那个曾经被视为在正式数学证明中出现过最大的数的“葛立恒数”，并且在1980年，被吉尼斯世界纪录收录。

当然，在之后葛立