查询结果
分支类型论
fēn zhī lèi xíng lùn
ㄈㄣ ㄓ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
「分支类型论」是什么意思？
更新 2026-07-10 17:03:16
- 拼音字母fen zhi lei xing lun
- 首字母fzlxl
- 注音符号ㄈㄣ ㄓ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
扩展释义
分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
拆字组词
相关词语
- 世锦园查含义
- 伪毛足棘蝇查含义
- 农毅查含义
- 刑警张玉贵查含义
- 华纳大厦查含义
- 加亮查含义
- 南楼社区查含义
- 割鸡焉用牛刀查含义
- 古培镇查含义
- 地下餐厅查含义
- 塑像查含义
- 大鳞毛蕨查含义
- 帷帐查含义
- 废柴联盟查含义
- 度规查含义
- 幽灵旅店查含义
- 恋恋花园查含义
- 情缠查含义
- 提梁查含义
- 格洛姆托之斧查含义
- 栾金颖查含义
- 沈萍萍查含义
- 沈杭燕查含义
- 烟台人才网查含义
- 湿地风毛菊查含义
- 点团队查含义
- 热卖查含义
- 熊先进查含义
- 爱我一下夏查含义
- 玄冰查含义
- 相知相拥查含义
- 瘠义肥辞查含义
- 神鬼奇航查含义
- 福辛普利查含义
- 纯阳圣魂查含义
- 缘定你我查含义
- 肉质刺灌丛查含义
- 花高头球查含义
- 莫云查含义
- 西山景区查含义
- 读书三余查含义
- 闪光石查含义
- 钱其琛查含义
- 长头南乳鱼查含义
- 银线莲查含义
- 陈通生查含义
- 随缘真如查含义
- 露盘查含义
- 黄足裸变丽蝇查含义
- 鲍和他的兄弟查含义