西塔潘猜想是由英國數理邏輯學家西塔潘于20世紀90年代提出的一個猜想。但定理以弗蘭克·普倫普頓·拉姆齊正式命名，1930年其在論文One Problem in Formal Logic（《形式邏輯上的一個問題》）證明了R(3，3)=6。因此又叫拉姆齊二染色定理。

拉姆齊數，用圖論的語言有兩種描述：

對于所有的N頂圖，包含k個頂的團或l個頂的獨立集。具有這樣性質的最小自然數N就稱為一個拉姆齊數，記作R(k，l)；

拉姆齊數亦可推廣到多于兩個數：