Category:类型论

维基百科,自由的百科全书
跳转至: 导航搜索

类型论是可替代集合论作为数学基础的数学分支。