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