text: Метод математической логики, в котором происходит замена рассуждений о выражениях рассуждениями о натуральных числах, называется именно ТАК.
topic: А...Я
Ответ: Арифметизация