Математическая формула не обязательно что-либо утверждает. Запись x² > 4 выглядит содержательно, но без указания значения x или способа его выбора она не является ни истинной, ни ложной. Это условие, которое выполняется для одних чисел и не выполняется для других. Чтобы превратить такую запись в утверждение, переменную нужно связать. Можно подставить конкретное значение, объявить, что условие выполняется для всех объектов, или заявить о существовании хотя бы одного подходящего объекта. От способа связывания зависит логическая форма, истинность и метод доказательства полученного утверждения...