In this paper, we discuss the $\mathcal{NP}$ problem using the Henkin's Theory and the Herbrand Theory in the first-order logic, and prove that $\mathcal{P}$ is a proper subset of $\mathcal{NP}$.

翻译：暂无翻译