tantology

[ریاضیات] گزاره ی همیشه درست