数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支；是用数学方法研究逻辑或形式逻辑的学科。数理逻辑是数学基础的一个不可缺少的组成部分。
数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。
“西塔潘猜想”研究的是反推数学中“拉姆齐二染色定理”的证明论强度，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。
所谓“拉姆齐二染色定理”，其通俗的版本就是“友谊定理”，即在一群不少于三人的人群中，若任何两人都刚好只有一个共同认识的人，这群人中总有一人是所有人都认识的。
