Download PDFOpen PDF in browserGödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem?EasyChair Preprint 907356 pages•Date: October 24, 2022AbstractThe present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: weather it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic. The main argument consists in the contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. Thus, the pair of arithmetic and set are similar to Euclidean and nonEuclidean geometries distinguishably only by the Fifth postulate: correspondingly, by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. The axiom of choice transforms any set in a wellordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. The Gödel incompleteness statement relies on the contradiction of the axioma of induction and infinity. Keyphrases: Boolean algebra, Euclidean and nonEuclidean geometries, Fifth postulate of Euclid, Gödel, Hilbert Program, Hilbert arithmetic, Husserl, Logicism, Peano arithmetic, Phenomenology, Principia Mathematica, Riemann space curvature, Russell, completeness, dual axiomatics, finitism, foundations of mathematics, incompleteness, propositional logic, set theory
