We prove Fraïssé’s conjecture within the system of [Formula: see text]-comprehension. Furthermore, we prove that Fraïssé’s conjecture follows from the [Formula: see text]-bqo-ness of 3 over the system of Arithmetic Transfinite Recursion, and that the [Formula: see text]-bqo-ness of 3 is a [Formula: see text]-statement strictly weaker than [Formula: see text]-comprehension.

中文翻译：

---

Fraïssé在Π11-理解中的猜想

我们在[公式：见正文]-理解系统内证明了弗雷塞猜想。此外，我们证明了 Fraïssé 的猜想是从 3 的 [公式：见文本]-bqo-ness 在算术超限递归系统上得出的，并且 [公式：见文本]-bqo-ness 3 是一个 [公式：见文本]-陈述严格弱于[公式：见文本]-理解力。