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