2. Следствия из аксиом множества действительных чисел