新基础-一流百科

新基础

什么是新基础在数理逻辑中，新基础（NF）是一种公理集合理论，由威拉德-范-奥曼-奎因设想为《数学原理》中类型理论的简化。奎因在1937年一篇题为《数学逻辑的...