o"'優先方法(0"'-priority method)是指一般無窮損傷優先方法的推廣。
無窮損傷方法出現後,在20世紀六七十年代,該方法解決了許多不可解度方面的問題.但隨著遞歸論研究的進一步深人,這種方法對許多問題顯得力量足.1975年,拉克倫(Lach-lan,A. H.)使用了一種更加複雜、而力量更強大的方法—0"'優先方法,證明了非分裂定理.由於該方法極為複雜,以至於多年無人理解,因此被稱為“魔怪方法”(monster method).直到20世紀70年代末至20世紀80年代初,這種方法才逐漸為人理解,並被用來證明了許多重要定理.