2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/162239This 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.4 pagesGeneral MathematicsThe Antinomy of the Liar and Provabilitytext