An axiomatization of truth and paradoxicality
Published: Sep 8, 2025
Last Updated: Sep 8, 2025
Authors:Luca Castaldo
Abstract
This short note introduces a formal system of truth and paradoxicality, outlining the main motivation, and proving its $\omega$-consistency. The system is called TP, for 'Truth and Paradoxicality'.