Условие:
Prove on induction: we can divide a natural number n by a positive number q to obtain a quotient m (which is another natural number) and a remainder r (which is less than q).

Prove on induction: we can divide a natural number n by a positive number q to obtain a quotient m (which is another natural number) and a remainder r (which is less than q).
Мы хотим доказать, что для каждого натурального числа n и для каждого фиксированного положительного числа q можно найти такие натуральные числа m и r (с 0 ≤ r < q), что
n = m · q + r.
Доказательство будем проводить по индукции по n (при фиксированном q), используя аксиомы Пеано.
─────────────────────────────

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение