フリードバーグ・ナンバリング
フリードバーグ・ナンバリング（）は帰納的関数や帰納的可算集合の単射なナンバリング（枚挙）をいう。
このようなナンバリングの存在は1958年にリチャード・フリードバーグによって0'-優先法を用いて示された（Friedberg, 1958）。マルティン・クンマーは優先法を用いない構成法を与えた（Kummer, 1990）。