A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
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 fromdoi:10.31235/osf.io/h9vfz fatcat:ar42j3jm2zb73frr7hvrig7z6q