Abstract
This paper discusses the concepts of truth and provability in Hegel and Wittgenstein. In this context, Gödel's proof is relevant, as it deals with formally undecidable propositions and the limitations of axiomatic systems in proving their own consistency, which is a very important property in mathematical logic.
The first part represents Gödel's Incompleteness Theorems. The second part focuses on Wittgenstein's interpretation of Gödel's result.
The third part considers Tarski's semantic conception of truth and its critique from a Hegelian perspective.