Articles
Abstract
VII The disproof of undecidability of Gödel's proposition
Dec 2022. Kurt Gödel constructed a proposition of the theory of natural numbers in 1931 for which neither a proof nor a refutation should exist, though it is true. The true meaning of 0, "nothing", discloses new prospects of proof. Propositions about "non- existence" can be proved by equivalent propositions about "nothing". Gödel's proposition, based on the "non-existence" of its proof, is proven and decided by "nothing" of proof. The theory of the natural numbers is complete, the axiomatic system that Gödel premised, is incomplete. It is completed by the axiom of "nothing" of proof.