在组合数学上，拉姆齐（Ramsey）定理，又称拉姆齐二染色定理，是要解决以下的问题：要找这样一个最小的数 "R(k,l)=n"，使得 "n" 个人中，无论相识关系如何，必定有 "k" 个人相识或 "l" 个人互不相识。这个定理以弗兰克·普伦普顿·拉姆齐命名，1930年他在论文"On a Problem in Formal Logic"（《形式逻辑上的一个问题》）证明了R(3,3)=6。
拉姆齐数的定义.拉姆齐数，用图论的语言有两种描述：拉姆齐证明，对与给定的正整数数"k"及