Выдержка из книги
Генкин Л.N.
О математической индукции
Так, немецкий математик Фреге показал, как, отправляясь от чистой логики и самых элементарных частей теории множеств, определить основные понятия теории чисел таким образом, чтобы затем вся теория могла быть построена, исходя из этих определений. С другой стороны, итальянский математик Пеано, принимая в качестве первоначальных неопределяемых понятий напТуральные числа, нуль и следующее за, дал систему аксиом, на базе которой также может быть построена вся теория натуральных чисел.
