用第三阶算术公理化数学概念主义

摘要:数学概念主义的哲学框架及其在代替集合论基础上发展主流数学的研究

作者:Nik Weaver

论文ID:0905.1675

分类:History and Overview

分类简称:math.HO

提交时间:2009-05-12

PDF 下载: 英文版 中文版pdf翻译中