Начало см. здесь.

Бухштаб А. А.  Теория чисел.

М.: Просвещение, 1966, cc. 16 — 23.

Обзор различных числовых систем см. у А. Нивена здесь.

О логическом построении системы натуральных чисел у Эдмунда Ландау см. здесь.

О методе математической индукции у Д. Кнута см. здесь.

Неформальное понятие о "законах арифметики" см. у Г. Дэвенпорта здесь.

Неформальное понятие о теории множеств см. у Д. А. Андерсона здесь.

О бинарных алгебраических операциях, заданных на некотором множестве, см. у А. Г. Куроша здесь.

"О природе чисел" см. у С. К. Клини здесь.

"О природе чисел" см. также у Р. Л. Гудстейна здесь, здесь, здесь и здесь.

О логическом построении системы натуральных чисел у Эдмунда Ландау см. здесь.

О методе математической индукции у Д. Кнута см. здесь.

Неформальное понятие о "законах арифметики" см. у Г. Дэвенпорта здесь.

Неформальное понятие о теории множеств см. у Д. А. Андерсона здесь.

Определение 1 см. здесь.

То, что здесь названо "комплексами" иногда называется по другому: "наборами", "кортежами", "n-ками". См. об этом здесь и здесь.

О группах, кольцах и полях см. у А. Г. Куроша здесь.