P vs NP

09/30/2022

∙

by   Jian-Gang Tang, et al.

∙

0

∙

share

In this paper, we discuss the 𝒩𝒫 problem using the Henkin's Theory and the Herbrand Theory in the first-order logic, and prove that 𝒫 is a proper subset of 𝒩𝒫.