The Gödel incompleteness theorems (1931) by the axiom of choice [post]

Vasil Dinev Penchev
2020 unpublished
Those incompleteness theorems mean the relation of (Peano) arithmeticand (ZFC) set theory, or philosophically, the relation of arithmetical finiteness andactual infinity. The same is managed in the framework of set theory by the axiom ofchoice (respectively, by the equivalent well-ordering "theorem'). One may discuss thatincompleteness form the viewpoint of set theory by the axiom of choice rather thanthe usual viewpoint meant in the proof of theorems. The logical corollaries from
more » ... from that"nonstandard" viewpoint the relation of set theory and arithmetic are demonstrated
doi:10.31235/osf.io/h9vfz fatcat:ar42j3jm2zb73frr7hvrig7z6q