Constructive proof unveils the relationship and implications of Tarski's and Gödel's theorems on truth and completeness in theories.
The paper presents a fundamentally new constructive proof of Tarski's theorem on the undefinability of truth and Gödel's incompleteness theorems, based on the inexpressibility, by purely formal means, of the existential content of a theory (the "ostension deficit"), without which formalism loses its meaning. It is shown why the classical Gödel theorem arises from the same reason.
No takes yet. Share an insight, caveat, or question.
Alexey Torgashin (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: