Axiomatizing mathematical conceptualism in third order arithmetic
History and Overview
2009-05-12 v1
Abstract
We review the philosophical framework of mathematical conceptualism as an alternative to set-theoretic foundations and show how mainstream mathematics can be developed on this basis. The paper includes an explicit axiomatization of the basic principles of conceptualism in a formal system CM set in the language of third order arithmetic.
Keywords
Cite
@article{arxiv.0905.1675,
title = {Axiomatizing mathematical conceptualism in third order arithmetic},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:0905.1675},
year = {2009}
}
Comments
31 pages