@article{Harsanyi1983-HARMTE,year = {1983},title = {Mathematics, the Empirical Facts, and Logical Necessity},volume = {19},pages = {167--192},journal = {Erkenntnis},abstract = {It is argued that mathematical statements are "a posteriori synthetic" statements of a very special sort, To be called "structure-Analytic" statements. They follow logically from the axioms defining the mathematical structure they are describing--Provided that these axioms are "consistent". Yet, Consistency of these axioms is an empirical claim: it may be "empirically verifiable" by existence of a finite model, Or may have the nature of an "empirically falsifiable hypothesis" that no contradiction can be derived from the axioms},number = {1-3},author = {John C. Harsanyi}}@
has title
Mathematics, the Empirical Facts, and Logical Necessity