新基础集合论 在数理逻辑中新基础集合論NF是公理化集合論的一種由蒯因构想出來作为对数学原理中类型论的简化蒯因年於数理逻辑的新基础一文中首次提及NF此即其名稱的由來請注意此条目大多是在談论NFU這是Jensen於年所提出並由Holmes於年闡述的一重要变体