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}$.

翻译：在本文中，我们利用一阶逻辑中的Henkin理论与Herbrand理论讨论了$\mathcal{NP}$问题，并证明了$\mathcal{P}$是$\mathcal{NP}$的真子集。