摘要
文献[1]所论表明:兼容两种无穷观的内涵与方法为近现代数学及其理论基础自身所固有,从而给出了在近现代数学系统中运用兼容两种无穷观的分析方法的合理性依据。本文就是运用兼容潜无限与实无限的分析方法,对近现代数学的逻辑与非逻辑公理系统地进行疏理,疏理的结果显示:近现代数学及其理论基础中,有一部分公理隐性地反映了“潜无限等于实无限”的思想规定,而另有一些公理却隐性地反映了“潜无限不等于实无限”的思想规定。
出处
《自然杂志》
北大核心
2006年第1期28-30,共3页
Chinese Journal of Nature
基金
国家自然科学基金资助项目(No.60575038)
关键词
潜无限
实无限
全称量词
排中律
potential infinity, actual infinity, universal quantifier, law of excluded middle
