2000 character limit reached
On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux
Published 29 Jun 2013 in math.LO and cs.LO | (1307.0150v2)
Abstract: This article will be a continuation of our research into self-justifying systems. It will introduce several new theorems and their applications. (One of these results will transform our previous infinite-sized self-verifying formalisms into tighter systems, with only a finite number of axioms.) It will explain how self-justification is useful, even when the Incompleteness Theorem limits its reach.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.