Nếu một tuyên bố không thể chứng minh được, sự không nhất quán hoặc tự mâu thuẫn có thể hoặc sẽ phát triển làm mất hiệu lực hệ thống.
Đến thời điểm này có nên là trọng tâm để kiểm tra bất kỳ hệ thống nào không?