Scifaro

中文

真与悖论性的公理化

逻辑 2025-09-09 v1

作者: Luca Castaldo

在 arXiv 上查看 ↗ PDF ↗

摘要

本短文介绍了一个关于真与悖论性的形式系统，概述了其主要动机，并证明了其 $\omega$ -一致性。该系统被称为 TP，代表“真与悖论性”。

关键词

真悖论性形式系统公理化 $\omega$-一致性

引用

@article{arxiv.2509.06757,
  title  = {An axiomatization of truth and paradoxicality},
  author = {Luca Castaldo},
  journal= {arXiv preprint arXiv:2509.06757},
  year   = {2025}
}