Смотреть больше слов в «Русско-английском политехническом словаре»
- метод, применяемый в математич. логике для замены рассуждений о выражениях к.-л. логико-математич. языка рассуждениями о натуральных числах. С целью ... смотреть
ж. aritmetizzazione f
f.arithmetization
arithmetization
матем. арифметиза́ція
арыфметызацыя