mệnh đề toán học mà chân lí của nó được khẳng định hay phủ định qua chứng minh.