说谎者悖论与可证明性的对立
综合数学
2008-06-05 v1
摘要
本工作证明一个句子不能被命名为P并写为P IS NOT TRUE。它证明在一个系统中，若Q表示句子Q IS NOT PROVABLE，则Q为真且不可证明是不可证明的。
引用
@article{arxiv.0806.0635,
title = {The Antinomy of the Liar and Provability},
author = {Jailton C. Ferreira},
journal= {arXiv preprint arXiv:0806.0635},
year = {2008}
}
备注
4 pages