Высказывание -это
1) любое утверждение, относительно которого можно сказать истинно или ложно
2) отношение между формулами
3) всякое выводимая формула
4) всякое формулированное утверждение, относительно которого можно сказать что оно ложно
5) всякое выводимая число