New Foundations
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled "New Foundations for Mathematical Logic"; hence the name. Much of this entry discusses NFU, an important variant of NF due to Jensen (1969) and exposited in Holmes (1998). In 1940 and in a revision of 1951, Quine introduced an extension of NF sometimes called "Mathematical Logic" or "ML", that included proper classes as well as sets.
notableIdea
Wikipage disambiguates
Absolute InfiniteAlternative set theoryAxiom schemaAxiom schema of specificationBurali-Forti paradoxCantor's diagonal argumentCardinal assignmentCardinal numberClass (set theory)Class logicEquivalent definitions of mathematical structuresErnst SpeckerFoundations of mathematicsFrank Ramsey (mathematician)Implementation of mathematics in set theoryIndex of contemporary philosophy articlesIndex of philosophy articles (I–Q)Index of philosophy of language articlesList of first-order theoriesList of incomplete proofsList of mathematical logic topicsList of set theory topicsLogicismMLMathematical logicMetamathMorse–Kelley set theoryNFNFUNew FoundationNew Foundations for Mathematical LogicNew foundationsNon-well-founded set theoryOrdered pairOrdinal numberPhilosophy of mathematicsPositive set theoryRonald JensenRussell's paradoxST type theory
Link from a Wikipage to another Wikipage
thesis title
primaryTopic
New Foundations
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled "New Foundations for Mathematical Logic"; hence the name. Much of this entry discusses NFU, an important variant of NF due to Jensen (1969) and exposited in Holmes (1998). In 1940 and in a revision of 1951, Quine introduced an extension of NF sometimes called "Mathematical Logic" or "ML", that included proper classes as well as sets.
has abstract
En logique mathématique, New F ...... négation de l'axiome du choix.
@fr
In de wiskundige logica zijn d ...... tical Logic", vandaar de naam.
@nl
In mathematical logic, New Fou ...... ble formula, but x ∈ x is not.
@en
La Nuova fondazione (in ingles ...... i fondamenti della matematica.
@it
New Foundations (NF) ist der N ...... tenter Klassen auffassen kann.
@de
Nuevos Fundamentos, más conoci ...... relativa de NF es aún abierto.
@es
在数理逻辑中,新基础集合論(NF)是公理化集合論的一種,由蒯 ...... 69年所提出,並由Holmes於1998年闡述的一重要变体。
@zh
数理論理学において新基礎集合論 (しんきそしゅうごうろん、英 ...... もともとの体系NFを少し修正したNFUと呼ばれる体系である。
@ja
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,015,410,056
Link from a Wikipage to another Wikipage
authorlink
Hao Wang
@en
J. Barkley Rosser
@en
first
Hao
@en
J. Barkley
@en
last
Rosser
@en
Wang
@en
wikiPageUsesTemplate
hypernym
type
comment
En logique mathématique, New F ...... En 1982, le mathématicien belg
@fr
In de wiskundige logica zijn d ...... tical Logic", vandaar de naam.
@nl
In mathematical logic, New Fou ...... roper classes as well as sets.
@en
La Nuova fondazione (in ingles ...... i assiomi di NF sono solo due:
@it
New Foundations (NF) ist der N ...... a es in NF Mengen gibt, die El
@de
Nuevos Fundamentos, más conoci ...... relativa de NF es aún abierto.
@es
在数理逻辑中,新基础集合論(NF)是公理化集合論的一種,由蒯 ...... 69年所提出,並由Holmes於1998年闡述的一重要变体。
@zh
数理論理学において新基礎集合論 (しんきそしゅうごうろん、英 ...... もともとの体系NFを少し修正したNFUと呼ばれる体系である。
@ja
label
New Foundations
@de
New Foundations
@en
New Foundations
@fr
New Foundations
@nl
Nuevos Fundamentos
@es
Nuova fondazione
@it
新基础集合论
@zh
新基礎集合論
@ja
새 기초론
@ko