Một ví dụ đơn giản có thể là khi ta đối diện với một mệnh đề chưa được chứng minh và không có đủ t