2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229994We 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.31 pagesHistory and OverviewAxiomatizing mathematical conceptualism in third order arithmetictext