ETCS数学基础的语境分析意义

作者:孔祥雯; 郭贵春
来源:自然辩证法研究, 2019, 35(01): 3-8.
DOI:10.19484/j.cnki.1000-8934.2019.01.001

摘要

基于范畴论的语境特性,探索语境分析方法在数学基础研究中的实质功能。在对ETCS公理系统进行语境分析的过程中实现对ETCS的整体解读,把握ETCS公理系统的内在蕴涵,理解ETCS在当前数学哲学中的基础定位,进而揭示ETCS数学基础的语境分析意义。

全文