Следствие

Аксиомы множества Q позволяют:

1. Построить систематическую запись рациональных чисел при помощи конечного алфавита (цифровых символов).

2. Определить алгоритмы реализации операций ±, ´,:, £ в систематической записи рациональных чисел.

Задачи, приводящие к расширению множества рациональных чисел.

Решение задач, имеющих практический интерес, не исчерпывается арифметическими операциями над числами. Рассмотрим следующие две задачи.