Addendum: Addendum to Consequences of an exotic formulation for P=NP [Appl. Math. Comput. 145 (2-3) (2003) 655-665]
We elaborate on the following result which appears in that paper: if ZFC+[[email protected]"1-sound]+[P=NP]^F is consistent, then so is ZFC+[P=NP]. .