The Antinomy of the Liar and Provability
Abstract
Description
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.
4 pages
4 pages