Изменения

С помощью главной нумерации можно пронумеровать различные как целиком все программы. Также, так и различные объекты языка: предметные константы, функциональные символы, переменные, предикатные символы и формулы, построенные из них.Используя используя главную нумерацию не сложно определить номер программы, являющуюся композицией двух программ (то есть состоящей из двух подпрограмм и основной функции, возвращающей результат композиции исходных программ).