期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
公理集合论在现代数学发展中的作用
被引量:
1
在线阅读
下载PDF
职称材料
导出
摘要
公理集合论在现代数学发展中的作用李娜,王中明当今,集合论的语言`方法已渗透到数学的各个分支。通常人们所了解的数学对象,如数,可微函数等等,都可以定义为某种集合,人们所说的数学中的定理,例如微积分的基本定理,都可以用集合论的语言化归为关于集合的语句或命...
作者
李娜
王中明
机构地区
开封河南大学政治系
出处
《自然辩证法研究》
CSSCI
北大核心
1996年第1期37-38,54,共3页
Studies in Dialectics of Nature
关键词
数学
现代数学
公理集合论
分类号
O1-0 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
8
引证文献
1
二级引证文献
2
同被引文献
8
1
李娜.
聚合公理系统COG的布尔值模型[J]
.河南大学学报(自然科学版),1993,23(2):39-42.
被引量:4
2
李娜 ,李季 .
严格蕴涵系统S3的协调性[J]
.南京大学学报(数学半年刊),2005,22(1):23-27.
被引量:1
3
李娜.
关于模态命题系统的一种布尔值模型[J]
.南京大学学报(数学半年刊),2001,18(1):109-113.
被引量:5
4
李娜.
公理系统GB的布尔值模型[J]
.河南大学学报(自然科学版),1989,19(4):53-57.
被引量:1
5
李娜.
道义逻辑D──系统的一种布尔值模型[J]
.河南大学学报(自然科学版),2002,32(2):10-13.
被引量:1
6
李娜,何建锋.
一种处理集合论悖论的新方法[J]
.哲学动态,2017(11):93-98.
被引量:4
7
李娜.
20世纪集合论的主要方法[J]
.中山大学学报论丛,2000,20(1X):20-24.
被引量:2
8
孟晓青.
Topos理论简介[J]
.数学进展,1992,21(1):1-24.
被引量:10
引证文献
1
1
李娜,何建锋.
论集合论的模型[J]
.逻辑学研究,2019,12(1):49-69.
被引量:2
二级引证文献
2
1
孟兵兵,周健勇.
杭州地铁OD数据客流时空分布特性分析[J]
.软件导刊,2021,20(11):158-162.
被引量:4
2
贾青,刘新文.
哲学逻辑与逻辑哲学——2019年逻辑学研究述评[J]
.中国哲学年鉴,2020(1):234-240.
1
侯振挺,王世强,阎国军.
关于公理集合论的一个注记(Ⅰ)[J]
.数学理论与应用,2011,31(3):1-3.
2
王树茗.
罗素—朗厄的集合演算[J]
.中学数学杂志(高中版),2007(5):25-28.
3
殷娴.
“0”是否一定要作为自然数?[J]
.江苏教育学院学报(自然科学版),2008,24(2):68-71.
4
侯振挺,王世强.
公理集合论中的ZFC系统是不协调的(英文)[J]
.前沿科学,2013,7(4):45-46.
5
杨志红.
超限递归原理的推广[J]
.河南科学,1995,13(1):19-24.
6
张东摩,肖奚安.
经典公理集合论系统与中介公理集合论系统之间的包含关系[J]
.Journal of Mathematical Research and Exposition,1997,17(3):475-478.
被引量:2
7
贺险峰.
也谈把“0”作为一个自然数[J]
.数学通报,2002,41(1):38-38.
被引量:1
8
王智.
对数学公理化集合论的探讨[J]
.机械设计与制造,2004(1):117-118.
9
史晓明.
数学史上的三次危机[J]
.青苹果,2006,0(3):28-30.
10
张东摩,施庆生,姜宁根,朱梧.
MS 中的自然数系统[J]
.南京航空航天大学学报,1997,29(2):179-184.
被引量:2
自然辩证法研究
1996年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部