For example, Kummer published a paper on a proof for the existence of Friedberg numberings without using the priority method.
De exemplu, Kummer a publicat o lucrare ce prezenta o demonstrație a existenței numărărilor Friedberg fără a utiliza metoda priorității.