Addendum to “Consequences of an exotic formulation for P = NP” [Appl. Math. Comput. 145 (2–3) (2003) 655–665]
作者：
Highlights：
•
摘要
We elaborate on the following result which appears in that paper: if is consistent, then so is ZFC + [P = NP].
论文关键词：
论文评审过程：Available online 4 May 2005.
论文官网地址：https://doi.org/10.1016/j.amc.2005.03.002
