TREE函數、Kruskal樹定理(英語:Kruskal's tree theorem)是逆數學的突出示例。由安德魯·瓦茲尼(英语:Andrew Vázsonyi)推測並由約瑟夫·克魯斯卡爾證明。 已隱藏部分未翻譯内容,歡迎參與翻譯。 In mathematics, Kruskal's tree theorem states that
pursuit of the finite division algebra theorem and beyond: Joseph H M Wedderburn, Leonard Dickson, and Oswald Veblen, Archives of International History of
pursuit of the finite division algebra theorem and beyond: Joseph H M Wedderburn, Leonard Dickson, and Oswald Veblen," Archives of International History