Proof that Wittgenstein is correct about Gödel

When we sum up the results of Gödel's 1931 Incompleteness Theorem by formalizing Wittgenstein’s verbal specification such that this formalization meets Gödel's own sufficiency requirement: ”Every epistemological antinomy can likewise be used for a similar undecidability proof." then we can see that Gödel's famous logic sentence is only unprovable in PA because it is untrue in PA because it specifies the logical equivalence to self contradiction in PA.

Bizonyíték arra, hogy Wittgensteinnek igaza van Gödellel kapcsolatban

Amikor összefoglaljuk Gödel 1931-es hiányosság-tételének eredményeit Wittgenstein szóbeli specifikációjának formalizálásával, hogy ez a formalizáció megfelel Gödel saját elegendőségi követelményének: „Minden episztemológiai antinomia hasonlóan felhasználható hasonlóan a megdönthetetlenségi bizonyításhoz. "akkor láthatjuk, hogy Gödel híres logikai mondata csak PA-ban bizonyíthatatlan, mert a PA-ban nem igaz, mert a PA-ban meghatározza az önellentmondással való logikai egyenértékűséget.

(PDF) Proof that Wittgenstein is correct about Gödel (researchgate.net)