集合论科技名词
集合论科技名词：第1页
集合论
set theory
描述集合论
descriptive set theory
朴素集合论
naive set theory
公理化集合论
axiomatic set theory
策梅洛-弗兰克尔集合论
Zermelo-Frankel set theory
直谓集合论
predicative set theory
非直谓集合论
impredicative set theory
外延性
extensionality
确定性
determinacy
投影确定性
projective determinacy
佐恩引理
Zorn lemma
选择公理
axiom of choice
选择函数
choice function
归纳序集
inductive ordered set
连续统
continuum
连续统假设
continuum hypothesis
广义连续统假设
generalized continuum hypothesis
概括公理
comprehension axiom
正则公理
regularity axiom
正则集
regular set
本元
urelement
分支类型论
ramified theory of types
隶属关系
membership
初步集[合]
rudimentary set
平稳集[合]
stationary set
良序[的]
well-ordered
良序集[合]
well-ordered set
良序原则
well-ordering principle
序数
ordinal
序数和
ordinal sum
第1页
下一页
集合论 的上级学科
数学
数理逻辑数学基础
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单