摘要：如果PA没有非标准模型，则P ≠ NP。然后，我们给出了一个初等证明，证明PA没有非标准模型。
作者：Bhupinder Singh Anand
论文ID：math/0603605
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中