Универсум – множество вещественных чисел. Предикаты: x=y – истина тогда ...