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