Некоторые свойства арифметики целых чисел

Теорема о существовании нейтрального относительно сложения арифметики целых чисел элемента;

Теорема о существовании нейтрального относительно умножения арифметики целых чисел элемента;

Теорема о существовании инверсии элемента относительно сложения арифметики целых чисел и его нейтрального элемента;

Теорема о коммутативности сложения арифметики целых чисел;

Теорема о коммутативности умножения арифметики целых чисел;

Теорема об ассоциативности сложения арифметики целых чисел;

Теорема об ассоциативности умножения арифметики целых чисел;

Теорема о дистрибутивности умножения арифметики целых чисел относительно сложения арифметики целых чисел;

Теорема о линейном упорядочении арифметики целых чисел.