词语繁体：簡單類型論
词语读音：jiǎn dān lèi xíng lùn
首字拼音：Jian
词语拼音：jian dan lei xing lun
词语简拼：JDLXL
词语字数：五字词语
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
【简的意思】：简（簡） jiǎn（ㄐ一ㄢˇ） （一）、古代用来写字的竹板：竹简。简牍。简策。简册。（二）、书信：简 详情>
【单的意思】：单（單） dān（ㄉㄢ） （一）、不复杂：单纯。简单。单调（ diào ）。（二）、独一：单独。单一 详情>
【类的意思】：类（類） lèi（ㄌㄟˋ） （一）、很多相似事物的综合：种类。类群。类别。类书。分类。人类。（二）、 详情>
【型的意思】：型 xíng（ㄒ一ㄥˊ） （一）、铸造器物用的模子：砂型。型砂（制造砂型的材料）。（二）、样式：类型 详情>
【论的意思】：论（論） lùn（ㄌㄨㄣˋ） （一）、分析判断事物的道理：论断。论点。论辩。论据。论者。议论。讨论。 详情>