# The Gödel Incompleteness Theorems (1931) by the Axiom of Choice

*Econometrics: Mathematical Methods and Programming eJournal (Elsevier: SSRN)*13 (39):1-4 (2020)

**Abstract**

Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the relation of set theory and arithmetic are demonstrated.

**Categories**

(categorize this paper)

**PhilPapers/Archive ID**

PENTGI-2

**Upload history**

Archival date: 2020-09-24

View other versions

View other versions

**Added to PP index**

2020-09-24

**Total views**

127 ( #42,209 of 65,663 )

**Recent downloads (6 months)**

50 ( #16,926 of 65,663 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.*