类型
target: 型 (模型論)
description: 是模型論中一階邏輯中的一個相容的公式集合。
target: 类型论
description: （），类型系统研究的基础。
target: 直觉类型论
description: （），是基於數學構造主義的函數式程式語言、邏輯和集合論。
target: 数据类型
description: （），用于计算的值的集合容器
target: 类型系统
description: （），编程语言中由为值分配类型的规则组成的逻辑系统
target: 藝術類型
description: （），指藝術創作上區分並統述多項特質相同的作品的方法。
target: 理想型
description: （），指藉由篩選出某個現象的某些基本或核心特徵，則其他的特徵都將被摒棄或忽視。
target: 类型学
description: （Typology），对类型的研究
target: 范畴
target: 体裁