formal statement

[ریاضیات] گزاره ی صوری