西塔潘猜想是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。
拉姆齐二染色定理，在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。
