- пополненная арифметика
- мат. augmented arithmetic
Большой англо-русский и русско-английский словарь. 2001.
пополненная арифметика
Смотреть что такое "пополненная арифметика" в других словарях:
БЕСКОНЕЧНАЯ ИНДУКЦИЯ — правило Карнапа, w правило, неэлементарное вывода правило с бесконечным числом посылок. Точнее, пусть в нек ром логико математич. языке переменная x рассматривается как пробегающая натуральные числа и формула этого языка. Если доказана… … Математическая энциклопедия
