新基礎集合論

在數理邏輯中 ， 新基礎集合論 （ NF ） 是公理化集合論的一種 ， 由蒯因構想出來作爲對 《 數學原理 》 中類型論的簡化 。 蒯因1937年於 《 數理邏輯的新基礎 》 一文中首次提及NF （ 此即其名稱的由來 ） 。 請注意 ， 此條目大多是在談論NFU ， 這是Jensen於1969年所提出 ， 並由Holmes於1998年闡述的一重要變體 。