Souslin 定理

单边解析性允许说“存在一个无限见证，证明它属于集合”。若连不属于也能用这种形式表达，两套见证机制互相约束，最终使集合落回只需可数并与补集的 Borel 世界。

无限见证通常不能在有限时间内核验完毕。因此，这个现象虽像“语言与其补集都可识别便可判定”，其有效内容完全不同。Souslin 定理的结论是描述集合论中的 Borel 性，不是一般意义的算法可判定性。

为有理数及其补集写出闭见证 ​

枚举 $\mathbb{Q}=\{q_n:n\in \mathbb{N}\}$。令

这是闭集：若 $x\ne q_{y(0)}$，固定 $y(0)$ 并给 $x$ 选一个避开该有理点的小邻域，就得到补集的开邻域。其投影恰为 $\mathbb{Q}$。

再令

每个坐标条件闭，所以 $G$ 闭。若 $x$ 无理，每个正距离 $|x-q_n|$ 都允许选择足够大的 $y(n)$；若 $x=q_j$，第 $j$ 项永远失败。故 $G$ 的投影恰为无理数。双边闭见证因此明确给出，Souslin 定理确认有理数集 Borel。

这个例子中我们本来就知道 $\mathbb{Q}$ 是可数闭并。定理的作用不是提供更短证明，而是展示“属于”和“不属于”如何拥有不同形状的无限证据。

单边见证为何不够 ​

有无限分支的树集合公理库解析集与余解析集Analytic set · Coanalytic set以闭集投影定义解析集，通过树的无限分支展示存在性见证及超出 Borel 的边界。 $\mathrm{IF}$ 解析却非 Borel。因此它的补集 $\mathrm{WF}$ 不可能也解析，否则本定理立刻矛盾。良基树是余解析的，正好位于另一边。

Lebesgue 可测也不能替代双边解析。解析集虽对完备概率测度可测，但非 Borel 解析集已经证明“可测”比此处结论弱；可测 σ-代数还依赖先选了哪一个测度。

要证明某个复杂集合 Borel，可以分别把正例和反例写成闭关系的投影，再调用本定理。这通常比直接展开一棵超长的可数并补操作树更清楚。

不过定理不自动给出该集合在 Borel 层级公理库Borel 层级Borel hierarchy按可数并与补集建立超限 Borel 层级，手算有理数、无限次出现及最终恒零事件的层级。中的具体秩。证明“属于某个可数层”与证明“属于第二层”是两项不同任务。若应用需要低层复杂度，仍需分析构造或提供额外界。