Одно алгебраическое свойство поля действительных чисел Алгебраические структуры группа кольцо поле аксиомы примеры