请问「分支类型论」是什么意思？
2026-07-10 08:36:11
「分支类型论」读音
拼音 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)的划分：一般地...
推荐
友情链接
抓书网 短词网 书号查询 星云网 折扣店是什么意思？ 胖六教你填志愿 胖六六在手，高考填志愿不愁。...是什么意思？ 冬天苹果吃法大全是什么意思？ 在线WIFI二维码生成器是什么意思？ 军训心得体会800字大学生(37篇)是什么意思？ 青岛 qīng dǎo · 是什么意思 田小班是什么意思？ 拯救尤迪安是什么意思？ 安徽高考是什么意思？ 正山小种红茶是什么茶？你了解多少呢？是什么意思？ 沉密寡言是什么意思？ 查看西藏天气-苏州明天天气 查看西藏天气 西藏是什么意思？ 音频剪切 在线可视化音频剪辑，支持音频调速、循环、修剪、音量调整是什么意思？ 制作大学是什么意思？ 都匀毛尖茶是什么意思？ 拾金不昧的诗句名言范文是什么意思？