The Antinomy of the Liar and Provability
  This work evidences that a sentence cannot be denominated by P and written as P IS NOT TRUE. It demonstrates that in a system in which Q denominates the sentence Q IS NOT PROVABLE it is not provable that Q is true and not provable. 
Jailton C. Ferreira