1. метод, применяемый в математической логике для замены рассуждений о выражениях какого-либо логико-математического языка рассуждениями о натуральных числах

Источник: Wiktionary.org