编辑本段内容
拉姆齐二染色定理（Ramsey Theorem for Pair）用非形式的语言可以叙述为任何一个对边进行2-染色的含（可数）无穷个顶点的完全图都有一个单一染色的含有无穷个顶点的子完全图，而弱柯尼希定理（Weak König Lemma）则是说任何一个（可数）无穷二叉树都有一条无穷长的路径。这两条都是二阶算术中的陈述，说的是一个类中满足某种性质的子集存在，可以粗暴地认为它们在某种程度上都是在表现或者替代二阶算术中的选择公理（Axiom of Choice）（一般的“Axiom of Choice”可对超出可数无穷多的对象进行选择）。
在反推数学中，研究的其实是二阶算术的各个子系统以及它们的强度关系，而最重要的是被称为 Big Five的五个子系统 RCA 0 , WKL 0 , ACA 0 （后面两个与本猜想无关，故不列出）。其中 WKL 0 是基本系统 RCA 0 添加弱柯尼希定理的系统，而 RCA 0 添加拉姆齐二染色定理的系统被称为 RT2 2 (不在Big Five，类似还有 RT3 2 ，在此不表)。经过若干数学家的研究，他们发现了一些子系统间存在强弱的比较关系：和 RT2 2 形式接近的 RT3 2 比 ACA 0 要强(其实一样)，而 RT2 2 则不比 ACA 0强，（ ACA 0 比 WKL 0 强是基本的）等等
文章TAG：西塔 具体 内容 西铂
