Система натуральных чисел. Принцип математической индукции. Теоремы математической индукции
п.1. Аксиоматическая система натуральных чисел. Определение. Системой натуральных чисел (системой Пеано) называется алгебра , где — бинарные операции, — унарная операция (функция «следования»), — выделенный элемент в множестве , для которой выполнены следующие аксиомы Для , (элемент называется следующим за ). Для , , . , . Для , . , . Для , .