The functions 16-20 and #G are of particular interest with respect to converting primitive recursive predicates to, and extracting them from, their "arithmetical" form expressed as Gödel numbers.
Функције 16-20 и #G су од посебног интереса у вези са конверзијом примитивнног рекурзивнног предиката, и вађење њих из њиховог "аритметичког" облика израженог преко Годелових бројева.