分类:类型论维基媒体分类 / 维基百科,自由的 encyclopedia 类型论是可替代集合论作为数学基础的数学分支。 页面分类 > 人类社会 > 安全 > 电脑安全 > 形式方法 > 类型论 页面分类 > 人文学科 > 哲学 > 逻辑 > 计算机逻辑 > 类型论