Axiomatizing mathematical conceptualism in third order arithmetic

Simple item page
dc.creatorWeaver, Nik
dc.date2009-05-11
dc.date.accessioned2026-07-07T13:13:45Z
dc.date.available2026-07-07T13:13:45Z
dc.descriptionWe 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.
dc.description31 pages
dc.identifierhttps://arxiv.org/abs/0905.1675
dc.identifierhttp://arxiv.org/abs/0905.1675
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229994
dc.subjectHistory and Overview
dc.titleAxiomatizing mathematical conceptualism in third order arithmetic
dc.typetext

Files

Collections

arXiv