Нумерацию Гёделя можно интерпретировать как кодировку, в которой каждому символу математической записи присваивается номер, после чего последовательность натуральных чисел может представлять последовательность строк.
Нумерацию Гёделя можно интерпретировать как кодировку, в которой каждому символу математической записи присваивается номер, а затем поток натуральных чисел может представлять некоторую форму или функцию.