Аксиомы множества вещественных чисел.

R - объект, уд. след. группам аксиом:
1. Аксиомы порядка: