{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T07:56:57Z","timestamp":1775462217117,"version":"3.50.1"},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":10146,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1986,6]]},"abstract":"<jats:p>It is often asserted in the literature that any theorem which can be proved using nonstandard analysis can also be proved without it. The purpose of this paper is to show that this assertion is wrong, and in fact there are theorems which can be proved with nonstandard analysis but cannot be proved without it. There is currently a great deal of confusion among mathematicians because the above assertion can be interpreted in two different ways. First, there is the following correct statement: any theorem which can be proved using nonstandard analysis can be proved in Zermelo-Fraenkel set theory with choice, ZFC, and thus is acceptable by contemporary standards as a theorem in mathematics. Second, there is the erroneous conclusion drawn by skeptics: any theorem which can be proved using nonstandard analysis can be proved without it, and thus there is no need for nonstandard analysis.<\/jats:p><jats:p>The reason for this confusion is that the set of principles which are accepted by current mathematics, namely ZFC, is much stronger than the set of principles which are actually used in mathematical practice. It has been observed (see [F] and [S]) that almost all results in classical mathematics use methods available in second order arithmetic with appropriate comprehension and choice axiom schemes.<\/jats:p>","DOI":"10.2307\/2274061","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:17:35Z","timestamp":1146953855000},"page":"377-386","source":"Crossref","is-referenced-by-count":49,"title":["On the strength of nonstandard analysis"],"prefix":"10.1017","volume":"51","author":[{"given":"C. Ward","family":"Henson","sequence":"first","affiliation":[]},{"given":"H. Jerome","family":"Keisler","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200031248_bib014","volume-title":"The syntax of nonstandard analysis","author":"Nelson","year":"1980"},{"key":"S0022481200031248_bib012","first-page":"18","volume-title":"Applications of model theory to algebra, analysis, and probability","author":"Kreisel","year":"1969"},{"key":"S0022481200031248_bib011","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/0297"},{"key":"S0022481200031248_bib003","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71126-1"},{"key":"S0022481200031248_bib004","first-page":"81","volume":"15","author":"Henkin","year":"1949","journal-title":"Completeness in the theory of types"},{"key":"S0022481200031248_bib005","first-page":"1039","volume":"49","author":"Henson","year":"1984","journal-title":"The strength of nonstandard methods in arithmetic"},{"key":"S0022481200031248_bib008","volume-title":"An introduction to nonstandard real analysis","author":"Hurd"},{"key":"S0022481200031248_bib016","first-page":"783","volume":"49","author":"Simpson","year":"1984","journal-title":"Which set existence axioms are needed to prove the Cauchy\/Peano theorem for ordinary differential equations?"},{"key":"S0022481200031248_bib009","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090979"},{"key":"S0022481200031248_bib006","doi-asserted-by":"publisher","DOI":"10.4064\/fm-98-1-1-19"},{"key":"S0022481200031248_bib002","volume-title":"Model theory","author":"Chang","year":"1973"},{"key":"S0022481200031248_bib017","volume-title":"Foundations of infinitesimal stochastic analysis","author":"Stroyan"},{"key":"S0022481200031248_bib013","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1977-14398-X"},{"key":"S0022481200031248_bib010","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70955-8"},{"key":"S0022481200031248_bib001","unstructured":"Albeverio, S. , Fenstad, J. E. , H\u00f8egh-Krohn, R. and Lindstr\u00f8m, T. L. , Nonstandard methods in stochastic analysis and mathematical physics (to appear)."},{"key":"S0022481200031248_bib007","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1979.11994877"},{"key":"S0022481200031248_bib015","volume-title":"Nonstandard analysis","author":"Robinson","year":"1974"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200031248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T10:38:46Z","timestamp":1679481526000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200031248\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":17,"aliases":["10.1017\/s0022481200031248","10.1017\/s0022481200031248"],"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["S0022481200031248"],"URL":"https:\/\/doi.org\/10.2307\/2274061","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}