A constructive proof of Tarski's undefinability theorem and Gödel's incompleteness theorems

Key Points

• The aim is to present a new constructive proof of Tarski's undefinability theorem and Gödel's incompleteness theorems.
• Provided a constructive proof focusing on the inexpressibility of existential content in theories.
• Introduced the concept of 'ostension deficit' as crucial to understanding these theorems.
• Demonstrated that the classical Gödel theorem results from the same inexpressibility issues as Tarski's theorem.