中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Paris–Harrington theorem
来自维基百科,自由的百科全书
Found in articles
克魯斯卡爾樹定理
number).
Paris
–
Harrington
theorem
(英语:
Paris
–
Harrington
theorem
) Kanamori–McAloon
theorem
(英语:Kanamori–McAloon
theorem
) Robertson–Seymour
theorem
(英语:Robertson–Seymour
拉姆齐理论
遺留的,而無人知道能否實質改進。另一些情況下,已知任何界都必須異常大,甚至大於任何原始遞歸函數,例見帕里斯-哈靈頓定理(英语:
Paris
–
Harrington
theorem
)。著名大數葛立恆數也是與拉姆齊理論有關的問題的上界。也有另一意義下巨大的例子:二染色畢氏三元組問題(英语:Boolean Pythagorean
古德斯坦定理
Paris
–
Harrington
theorem
(英语:
Paris
–
Harrington
theorem
) Kanamori–McAloon
theorem
(英语:Kanamori–McAloon
theorem
) Kruskal's tree
theorem
Kirby, L.;
Paris
,
哥德尔不完备定理
和连续统假设都是集合论的标准公理系统内的不确定命题。 在1973年,同调代数中的怀特海问题被证明是集合论中的不确定命题。 1977年,
Paris
和
Harrington
证明了组合论中的一个命题,拉姆赛理论的某个版本,在皮阿诺公理给出的算术公理系统中是不确定的,但可以在集合论的一个更大体系中证明为真。