新基礎集合論維基百科,自由的 encyclopedia 在數理邏輯中,新基礎集合論(NF)是公理化集合論的一種,由蒯因構想出來作為對《數學原理》中類型論的簡化。蒯因1937年於《數理邏輯的新基礎》一文中首次提及NF(此即其名稱的由來)。請注意,此條目大多是在談論NFU,這是Jensen於1969年所提出,並由Holmes於1998年闡述的一重要變體。 此條目需要精通或熟悉數學的編者參與及協助編輯。 (2022年5月18日)
在數理邏輯中,新基礎集合論(NF)是公理化集合論的一種,由蒯因構想出來作為對《數學原理》中類型論的簡化。蒯因1937年於《數理邏輯的新基礎》一文中首次提及NF(此即其名稱的由來)。請注意,此條目大多是在談論NFU,這是Jensen於1969年所提出,並由Holmes於1998年闡述的一重要變體。 此條目需要精通或熟悉數學的編者參與及協助編輯。 (2022年5月18日)