查询结果
分支类型论
fēn zhī lèi xíng lùn
ㄈㄣ ㄓ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
「分支类型论」是什么意思？
更新 2026-07-12 23:25:47
- 拼音字母fen zhi lei xing lun
- 首字母fzlxl
- 注音符号ㄈㄣ ㄓ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
扩展释义
分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
拆字组词
相关词语
- 三灯查含义
- 丁蔚查含义
- 兵车行查含义
- 刘圣涛查含义
- 半连续聚合查含义
- 名家查含义
- 头抽查含义
- 大约查含义
- 夏河云南紫菀查含义
- 家猫查含义
- 学霸笔记查含义
- 小沙鳅查含义
- 度外置之查含义
- 恶夫别跑查含义
- 振动周期查含义
- 政治任务查含义
- 桂瑶村查含义
- 江苏省能源局查含义
- 波导查含义
- 汉苑查含义
- 游侠红牡丹查含义
- 片肩叉趾铁甲查含义
- 猛鬼孤儿查含义
- 生物富集系数查含义
- 白翠查含义
- 白蒙蒙查含义
- 红纹新丽盲蝽查含义
- 翠逸家园查含义
- 聂拉木群查含义
- 谢楠楠查含义
- 象角查含义
- 陈龙华查含义
- 陈泰华查含义
- 青山桥镇查含义
- 香糟查含义
- 黑眉拟啄木鸟查含义
- 齿列查含义
- 黄鱼鱼肚汤查含义
- 武汉金泉宾馆查含义
- 樱井智代查含义
- 定投型基金查含义
- 灵芝龟查含义
- 培根豆渣饼查含义
- 五彩鸭丝查含义
- 异界易筋经查含义
- 大清商埠查含义
- 利孤虫查含义
- 养血四物汤查含义
- 奇克针尾雀查含义
- 苦榴树皮洗剂查含义