西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想 。但定理以弗兰克·普伦普顿·拉姆齐正式命名，1930年其在论文One Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3,3)=6。因此又叫拉姆齐二染色定理。