无句法的语义情境（理论的非公理化性）
逻辑
2015-06-30 v1
摘要
在此，通过引入一个意外绞刑悖论（Unexpected hanging paradox）的变体，我们首先试图为类似于说谎者悖论的悖论开辟新途径并给出新解释。此外，我们将展示存在一种任何句法逻辑系统都无法支持的语义情境。最后，我们在公理化性主题上提出一个主张。基于该主张，不可能为可计算性理论建立公理化系统。事实上，同样的论证表明许多其他理论是非公理化的。（敢言：物理学与数学的一般理论）。
引用
@article{arxiv.1506.08221,
title = {A Semantic Situation without Syntax (Non- axiomatizibility of Theories)},
author = {Farzad Didehvar},
journal= {arXiv preprint arXiv:1506.08221},
year = {2015}
}