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

Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
PENTGI-2
Upload history
Archival date: 2020-09-24
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.