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

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

對于所有的N頂圖，包含k個(gè)頂?shù)膱F(tuán)或l個(gè)頂?shù)莫?dú)立集。具有這樣性質(zhì)的最小自然數(shù)N就稱為一個(gè)拉姆齊數(shù)，記作R(k，l)；

拉姆齊數(shù)亦可推廣到多于兩個(gè)數(shù)：