{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T04:42:15Z","timestamp":1762058535681,"version":"build-2065373602"},"reference-count":27,"publisher":"MDPI AG","issue":"7","license":[{"start":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T00:00:00Z","timestamp":1658361600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"FCT","award":["UIDB\/04106\/2020","UIDP\/04106\/2020"],"award-info":[{"award-number":["UIDB\/04106\/2020","UIDP\/04106\/2020"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth. Our method is to emphasize the incomplete picture of both theories and to treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard-model interpretation. We start briefly characterizing the expansion of arithmetic \u2018truth\u2019 provided by the interpretation in a set theory. Interpreted versions of an arithmetic theory into set theories generally have more theorems than the original. This theorem expansion is not complete however. Using this, the set theoretic multiversalist concludes that there are multiple legitimate standard models of arithmetic. We suggest a different multiversalist conclusion: while there is a single arithmetic structure, its interpretation in each universe may vary or even not be possible. We continue by defining the coordination problem. We consider two independent communities of mathematicians responsible for deciding over new axioms for ZF and PA. How likely are they to be coordinated regarding PA\u2019s interpretation in ZF? We prove that it is possible to have extensions of PA not interpretable in a given set theory ST. We further show that the number of extensions of arithmetic is uncountable, while interpretable extensions in ST are countable. We finally argue that this fact suggests that coordination can only work if it is assumed from the start.<\/jats:p>","DOI":"10.3390\/axioms11070351","type":"journal-article","created":{"date-parts":[[2022,7,21]],"date-time":"2022-07-21T10:36:56Z","timestamp":1658399816000},"page":"351","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Does Set Theory Really Ground Arithmetic Truth?"],"prefix":"10.3390","volume":"11","author":[{"given":"Alfredo Roque","family":"Freire","sequence":"first","affiliation":[{"name":"Center for Research and Development in Mathematics and Applications (CIDMA), Department of Mathematics, University of Aveiro, 3810-193 Aveiro, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2022,7,21]]},"reference":[{"key":"ref_1","unstructured":"Hamkins, J.D., and Yang, R. (2014). Satisfaction is not absolute. Rev. Symb. Log., 1\u201334. Available online: http:\/\/jdh.hamkins.org\/satisfaction-is-not-absolute\/."},{"key":"ref_2","unstructured":"Hamkins, J.D. (2018). The modal logic of arithmetic potentialism and the universal algorithm. Mathematics, 1\u201335. Available online: http:\/\/jdh.hamkins.org\/arithmetic-potentialism-and-the-universal-algorithm\/."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020318000242","article-title":"The modal logic of set-theoretic potentialism and the potentialist maximality principles","volume":"15","author":"Hamkins","year":"2022","journal-title":"Rev. Symb. Log."},{"key":"ref_4","unstructured":"Koellner, P. (2013). Hamkins on the multiverse. Exploring the Frontiers of Incompleteness, Harvard University."},{"key":"ref_5","unstructured":"Tarski, A., Mostowski, A., and Robinson, R.M. (1953). Undecidable Theories, Elsevier."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s11225-010-9283-1","article-title":"A formalist philosophy of mathematics part I: Arithmetic","volume":"96","author":"Gabbay","year":"2010","journal-title":"Stud. Log."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Ferreir\u00f3s, J. (2015). Mathematical Knowledge and the Interplay of Practices, Princeton University Press.","DOI":"10.23943\/princeton\/9780691167510.001.0001"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1017\/S1755020311000359","article-title":"The set-theoretic multiverse","volume":"5","author":"Hamkins","year":"2012","journal-title":"Rev. Symb. Log."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Williamson, T. (2016). Absolute provability and safe knowledge of axioms. G\u00f6del\u2019s Disjunction: The Scope and Limits of Mathematical Knowledge, Phillip Books.","DOI":"10.1093\/acprof:oso\/9780198759591.003.0010"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1017\/S1755020313000336","article-title":"A second philosophy of arithmetic","volume":"7","author":"Maddy","year":"2014","journal-title":"Rev. Symb. Log."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"209","DOI":"10.2307\/2023482","article-title":"Ontological reduction and the world of numbers","volume":"61","author":"Quine","year":"1964","journal-title":"J. Philos."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.2307\/2024603","article-title":"Mathematics without foundations","volume":"64","author":"Putnam","year":"1967","journal-title":"J. Philos."},{"key":"ref_13","unstructured":"Freire, R.A. (2015). Interpretation and Truth in Set Theory. Contradictions, from Consistency to Inconsistency, Springer."},{"key":"ref_14","unstructured":"Enayat, A. (2016). Variations on a Visserian Theme. Liber Amicorum Alberti: A tribute to Albert Visser, College Publications."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1017\/jsl.2020.72","article-title":"Bi-interpretation in weak set theories","volume":"86","author":"Freire","year":"2021","journal-title":"J. Symb. Log."},{"key":"ref_16","unstructured":"Hamkins, J.D. (2018). Different set theories are never bi-interpretable. Mathematics and Philosophy of the Infinite, Routledge."},{"key":"ref_17","unstructured":"Freire, A.R. (2019). Estudo Comparado do Comprometimento Ontol\u00f3gico das Teorias de Classes e Conjuntos. [Ph.D. Thesis, Universidad Estudal de Campinas]."},{"key":"ref_18","first-page":"173","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I","volume":"38","year":"1931","journal-title":"Monatshef. Math. Phys."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268019","article-title":"On the restricted ordinal theorem","volume":"9","author":"Goodstein","year":"1944","journal-title":"J. Symb. Log."},{"key":"ref_20","first-page":"381","article-title":"Goodstein\u2019s function","volume":"41","author":"Caicedo","year":"2007","journal-title":"Rev. Colomb. Matem."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"443","DOI":"10.2307\/2118559","article-title":"Modular elliptic curves and Fermat\u2019s last theorem","volume":"141","author":"Wiles","year":"1995","journal-title":"Ann. Math."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"359","DOI":"10.2178\/bsl\/1286284558","article-title":"What does it take to prove Fermat\u2019s Last Theorem? Grothendieck and the logic of number theory","volume":"16","author":"McLarty","year":"2010","journal-title":"Bull. Symb. Log."},{"key":"ref_23","unstructured":"Helfgott, H.A. (2013). The ternary Goldbach conjecture is true. arXiv."},{"key":"ref_24","first-page":"497","article-title":"On interpretations of arithmetic and set theory","volume":"48","author":"Kaye","year":"2007","journal-title":"Notre Dame Form. Log."},{"key":"ref_25","unstructured":"Shoenfield, J.R. (1967). Mathematical Logic, Addison-Wesley Reading."},{"key":"ref_26","unstructured":"Kas\u00e5, M. (2014). Standard models of arithmetic. Id\u00e9es Fixes, University of Gothenburg Publications."},{"key":"ref_27","first-page":"1","article-title":"Translating non Interpretable Theories","volume":"10","author":"Freire","year":"2020","journal-title":"S. Am. J. Log."}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/11\/7\/351\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T23:55:18Z","timestamp":1760140518000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/11\/7\/351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,21]]},"references-count":27,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2022,7]]}},"alternative-id":["axioms11070351"],"URL":"https:\/\/doi.org\/10.3390\/axioms11070351","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2022,7,21]]}}}