R - подходы к построению:
1) Аксиоматический:
построение конкретных моделей для проверки непротиворечивости аксиом
2) Построение конкретных моделей:
бесконечные дроби
Дедекиндовы сечения
последовательность Коши