新基础集合论維基百科,自由的 encyclopedia 在数理逻辑中,新基础集合論(NF)是公理化集合論的一種,由蒯因构想出來作为对《数学原理》中类型论的简化。蒯因1937年於《数理逻辑的新基础》一文中首次提及NF(此即其名稱的由來)。請注意,此条目大多是在談论NFU,這是Jensen於1969年所提出,並由Holmes於1998年闡述的一重要变体。 此條目需要精通或熟悉数学的编者参与及协助编辑。 (2022年5月18日)
在数理逻辑中,新基础集合論(NF)是公理化集合論的一種,由蒯因构想出來作为对《数学原理》中类型论的简化。蒯因1937年於《数理逻辑的新基础》一文中首次提及NF(此即其名稱的由來)。請注意,此条目大多是在談论NFU,這是Jensen於1969年所提出,並由Holmes於1998年闡述的一重要变体。 此條目需要精通或熟悉数学的编者参与及协助编辑。 (2022年5月18日)