Friedberg numbering

Friedberg numbering is a concept from mathematical logic and computability theory, specifically related to the enumeration of computably enumerable sets. It refers to a particular kind of enumeration of the natural numbers that meets specific criteria. In the context of computability, a "numbering" is a way to assign natural numbers to elements of a set in such a way that every element can be identified by a unique number.