波斯特分層定理(Post's hierarchy theorem)算術分層中各層之間的相似性性質定理.其內容為:一關係為On十、，若且唯若該關係是相對某個乏。或nn關係遞歸的;一關係為}a十1，若且唯若該關係相對某個乏，或二，關係遞歸可枚舉.波斯特分層定理是波蘭一美國數理邏輯學家波斯特((Post, E. L.)於1948年證明的.
