For example, Kummer published a paper on a proof for the existence of Friedberg numberings without using the priority method.
На пример, Кумер је објавио рад на доказу за постојање Фридбергове нумерације без методе приоритета.