Изменения

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