Hilbert R-tree

Z-order（英语：Z-order） UB-tree（英语：UB-tree） R树 R+树 R*树 Hilbert R-tree（英语：Hilbert R-tree） X-tree（英语：X-tree） Metric tree（英语：Metric tree） Cover tree（英语：Cover tree） M-tree（英语：M-tree）

R树（英語：R-tree）是用来做空间数据存储的树状数据结构。例如给地理位置，矩形和多边形这类多维数据建立索引。R树是由安東寧·古特曼（Antonin Guttman）于1984年提出的。人们随后发现它在理论和应用方面都非常实用。 在现实生活中，R树可以用来存储地图上的空间信息，例如餐馆地址，或者地

the Infinite猜想這個函數不是原始遞歸函數。阿克曼在On Hilbert's Construction of the Real Numbers證明了這點。 後來Rózsa Péter（英语：Rózsa Péter）和拉斐尔·米切尔·罗宾逊定義了一個類似的函數，但只用兩個變數。

在假定ZFC（帶有選擇公理的策梅洛-弗兰克尔集合论）本身自洽的狀況下，下述的問題是獨立於ZFC的： 強不可達基數的存在性 大基數的存在性 庫瑞巴樹（英语：Kurepa tree）的存在性 下述的問題不相容於選擇公理，故不與ZFC相容；然而這些問題很可能獨立於ZF；換句話說下述的問題不能在ZF中證明，且只有少數的集合論專家

1073/pnas.242594799.  Roberts, E.M.; Todd, C.N.; Aanen, D.K.; Nobre, T.; Hilbert-Wolf, H.L.; O'Connor, P.M.; Tapanila, L.; Mtelela, C.; Stevens, N.J. Oligocene