Arithmetization

*

Словосочетания

syntax arithmetization — арифметизация синтаксиса; геделизация
method of arithmetization — метод арифметизации