Алгебра логики: что такое высказывание и его роль в математике