释
分支类型论
fēn zhī lèi xíng lùn · ㄈㄣ ㄓ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
修撰于 2026-06-30 22:41:07
音义
| 拼音 | fēn zhī lèi xíng lùn |
|---|---|
| 字母 | fen zhi lei xing lun |
| 首字母 | fzlxl |
| 注音 | ㄈㄣ ㄓ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ |
| 注音符号 | ㄈㄣ ㄓ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ |
广训
分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
组词
相关
友情链接
抓书网
短词网
书号查询
星云网
北京天气预报30天是什么意思？
酸甜丸子是什么意思？
河北天气预报30天是什么意思？
说下 shuō xià · 是什么意思
东吴证券：完善ESG信息披露 提升上市公司质量是什么意思？
松柏汽车站是什么意思？专家解读 权威解读「松柏汽车站」的含义、读音与用法，一文读懂词语内涵。 sōng bǎi qì chē zhàn 2026-06-30 15:41:16
最强才是什么意思？
污名 wū míng是什么意思？
商业合作是什么意思？
活动总结是什么意思？
铁东天气预报30天是什么意思？
成都天气预报30天是什么意思？
太原天气预报30天是什么意思？
三大悍将擦肩而过：刘备人才战略的致命遗憾是什么意思？
财务经理（纺织行业） (11-22 15:41)是什么意思？
查看西藏天气-体感温度 查看西藏天气 西藏是什么意思？