查询结果
分支类型论
fēn zhī lèi xíng lùn
ㄈㄣ ㄓ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
「分支类型论」是什么意思？
更新 2026-07-19 01:58:02
- 拼音字母fen zhi lei xing lun
- 首字母fzlxl
- 注音符号ㄈㄣ ㄓ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
扩展释义
分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
拆字组词
相关词语
- 万象澄澈查含义
- 万古留芳查含义
- 亚木乡查含义
- 减损查含义
- 升级助手查含义
- 周春萍查含义
- 复活查含义
- 大家说跑男查含义
- 奔城镇查含义
- 夜空明查含义
- 宫内幸平查含义
- 孙贵成查含义
- 巴音陶亥乡查含义
- 徐维强查含义
- 徐延飞查含义
- 成丹查含义
- 无限宇宙查含义
- 杂种带查含义
- 杨伯山查含义
- 清懿查含义
- 海螂查含义
- 现地勘察查含义
- 电力弹性系数查含义
- 着手折衷说查含义
- 白威查含义
- 眉梳查含义
- 纳特森查含义
- 红鹦嘴鱼查含义
- 绒毛山蚂蝗查含义
- 罗凯文查含义
- 造釉细胞瘤查含义
- 长序乌头查含义
- 陶瓷刀查含义
- 降糖甲片查含义
- 隋杰查含义
- 黄胄查含义
- 黄默查含义
- 龙孔镇查含义
- 龙弯查含义
- 塞伦斯查含义
- 普宁嵌瓷查含义
- 家常烧鸡查含义
- 褐山鹪莺查含义
- 木耳鸡蛋汤查含义
- 米汁查含义
- 米尔芋螺查含义
- 红腹彩龟查含义
- 须虫查含义
- 特岛蓝腰鹦哥查含义
- 仙钩虫属查含义