1. метод, применяемый в математической логике для замены рассуждений о выражениях какого-либо логико-математического языка рассуждениями о натуральных числах (Викисловарь)
1. метод, применяемый в математической логике для замены рассуждений о выражениях какого-либо логико-математического языка рассуждениями о натуральных числах
Все значения слова «арифметизация»