Логика и математика: что такое переменное высказывание?