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