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

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

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

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

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

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

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

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