Англійська ⇄ Російська

Godel numbering of a formal system наголоси
ЗМІ	нумерация Гёделя для формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе)
IT	геделевская нумерация формальной системы