【简单类型论】的繁体字： 簡單類型論
【简单类型论】的读音为 jiǎn dān lèi xíng lùn，无声调拼音为 jian dan lei xing lun，简拼为 JDLXL
【简单类型论】的笔画分别为13画、8画、9画、9画、6画，部首分别为竹部、十部、米部、土部、讠部。
【分字繁体字】简的繁体字 单的繁体字 类的繁体字 型的繁体字 论的繁体字
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
