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