Tôi chắc chắn phải có điều gì đó sai với lý do sau bởi vì nếu không, rất nhiều nghiên cứu P so với NP sẽ bị giới hạn nhưng tôi không thể xác định lỗi của mình:
Đối với bất kỳ cố định số nguyên xác định B k : = { ⟨ φ ⟩ |
Bây giờ cho tất cả , ngôn ngữ B k là trong NP từ một bằng chứng có giá trị φ chiều dài ≤ k | φ | k có thể là nhân chứng NP được xác minh bởi trình kiểm tra bằng chứng tự động trong thời gian đa thức. Hơn nữa, với k đủ lớn , B k là NP hoàn chỉnh do SAT giảm theo: đó là, ví dụ ϕ SAT tạo ra một wff tương ứng của ZF φ bằng cách sử dụng các bộ lượng tử hiện sinh. Sau đó, một phép gán chân thực thỏa mãn ϕ có thể được tạo thành một bằng chứng chính thức về φ độ dài đa thức trong | φ |vì một phép gán chân lý của là tuyến tính trong | ϕ | .
Bây giờ, nếu ZF là không phù hợp, phương tiện này rằng có một tuyên bố chính thức như rằng cả hai σ và ¬ σ Có bằng chứng trong ZF. Như đã biết, bất kỳ tuyên bố khác τ sau đó có thể được bắt nguồn từ sự kết hợp mâu thuẫn ⟨ σ ∧ ¬ σ ⟩ (có nghĩa là bằng cách làm theo đường dẫn: ⟨ σ ∧ ¬ σ ⟩
Do đó, nếu chúng tôi có bằng chứng chính thức về P! = NP thì chúng tôi có bằng chứng chính thức về tính nhất quán của ZF. Nhưng theo định lý bất toàn thứ hai của Godel, điều này ngụ ý rằng ZF không nhất quán, từ đó có được P = NP như đã nêu ở trên (cũng như định lý của bất kỳ định lý phủ định nào).
Đây không chính xác là một bằng chứng cho thấy P so với NP độc lập với ZF. Có thể là ZF phù hợp và P = NP hoặc P! = NP có thể được chứng minh thông qua các kỹ thuật không thể chính thức hóa trong ZF. Tuy nhiên, nó lại đưa ra một rào cản ghê gớm khác để giải quyết P so với NP.