類型(英語:type)可能指: 數學 型 (模型論),是模型論中一階邏輯中的一個相容的公式集合。 類型論(英語:Type theory),型別系統研究的基礎。 直覺類型論(英語:Intuitionistic type theory),是基於數學構造主義的函數式程式語言、邏輯和集合論。 電腦科學 資料類型(英語:Data type),用於計算的值的集合容器 型別系統(英語:Type system),程式語言中由為值分配類型的規則組成的邏輯系統 其他 藝術類型(英語:Genre),指藝術創作上區分並統述多項特質相同的作品的方法。 型(形而上學)(英語:Type (metaphysics)) 理想型(德語:Idealtypus),指藉由篩選出某個現象的某些基本或核心特徵,則其他的特徵都將被摒棄或忽視。 犬型(英語:Dog type),是根據形式、功能或工作方式、血統或外觀對家犬進行的廣泛分類。 生物型(英語:Type (biology)),是生物體的特定標本,該生物體的學名正式與之相關聯。 查看維基詞典中的詞條「type」。 類型學(Typology),對類型的研究 種類(英語:Kind) 範疇 體裁 這是一個消歧義頁,羅列了有相同或相近的標題,但內容不同的條目。如果您是透過某條目的內部連結而轉到本頁,希望您能協助修正該處的內部連結,將它指向正確的條目。