中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Laver's theorem
来自维基百科,自由的百科全书
Found in articles
良擬序
order)全序類之間亦然。(萊弗定理(英语:
Laver's
theorem
)) 可數布尔代数的嵌入序是良擬序,由萊弗定理證得。 有限圖按图子式序組成良擬序集。(羅伯遜-西摩定理(英语:Robertson–Seymour
theorem
)) 對每個正整數 t {\displaystyle t}