- индукционное предложение
- мат. induction proposition
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Формальная арифметика — Аксиомы Пеано одна из систем аксиом для натуральных чисел. Аксиомы Пеано позволили формализовать арифметику. После введения аксиом стали возможны доказательства многих свойств натуральных и целых чисел, а также использование целых чисел для… … Википедия
Аксиомы Пеано — Аксиомы Пеано одна из систем аксиом для натуральных чисел. Аксиомы Пеано позволили формализовать арифметику. После введения аксиом стали возможны доказательства многих свойств натуральных и целых чисел, а также использование целых чисел для … Википедия