Аксиомы множества Q позволяют:
1. Построить систематическую запись рациональных чисел при помощи конечного алфавита (цифровых символов).
2. Определить алгоритмы реализации операций ±, ´, :, £ в систематической записи рациональных чисел.
1.4. Задачи, приводящие к расширению
множества рациональных чисел
Решение задач, имеющих практический интерес, не исчерпывается арифметическими операциями над числами. Рассмотрим следующие две задачи.