On the metamathematics of the P vs. NP question. - Newton C. A. da Costa; Francisco A. Doria; Eric Bir (Appl. Math. Comput., 2007)