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).

PropertyValue
dbpprop:abstract
  • 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).
  • New Foundations (NF) ist der Name einer axiomatischen Mengenlehre von Willard Van Orman Quine, benannt nach dessen Aufsatz New Foundations for Mathematical Logic (Neue Grundlagen der mathematischen Logik) von 1937. NF tendiert in mancher Hinsicht zur Typentheorie und unterscheidet sich von der Zermelo-Fraenkel-Mengenlehre in vielen Punkten, zum Beispiel gilt das Auswahlaxiom nicht und man kann auch die Existenz der Menge der natürlichen Zahlen nicht beweisen. Der NF-Mengenbegriff weicht also stark ab vom eingebürgerten Mengenbegriff. NF ist eher eine Theorie real existenter Klassen, in der der übliche Mengenbegriff nicht vorkommt.
  • En théorie des ensembles, New Foundations (NF) est une théorie axiomatique découverte par Willard Van Orman Quine. En 1937, il écrivit un article intitulé "New Foundations for Mathematical Logic" . En 1983, le mathématicien belge Marcel Crabbé a prouvé la consistance d'un système qu'il a appelé NFI .
  • A New Foundations (NF) egy alternatív halmazelmélet. Legegyszerűbb változatában mindössze két kézenfekvő axiómából áll, amelyek nagyon hasonlítanak a naiv halmazelmélet két alapelvéhez. A ZF-hez hasonlóan az NF is számos változatban létezik; ezért aztán helyesebb elméletcsaládról beszélni. Legizgalmasabb sajátossága, hogy létezik benne univerzális halmaz, amelynek minden halmaz eleme, beleértve saját magát is.
  • In de wiskundige logica zijn de New Foundations of NF een axiomatische verzamelingenleer, die door Willard Van Orman Quine is opgesteld als een vereenvoudiging van de typentheorie uit de Principia Mathematica . Quine stelde zijn New Foundations in 1937 voor het eerst voor in een artikel getiteld "New Foundations for Mathematical Logic", vandaar de naam.
  • 在数理逻辑中，新基础(NF)是蒯因构想的作为对《数学原理》的类型论的简化的公理化集合论。蒯因于 1937 年在标题为《数理逻辑的新基础》的文章中首次提出了 NF；并因此得名。这个条目的多数内容讨论的是 NFU，它是 Jensen (1969年)贡献的重要变体并被揭示于 Holmes (1998年)的《带有全集的初等集合论》中。
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • 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).
  • New Foundations (NF) ist der Name einer axiomatischen Mengenlehre von Willard Van Orman Quine, benannt nach dessen Aufsatz New Foundations for Mathematical Logic (Neue Grundlagen der mathematischen Logik) von 1937. NF tendiert in mancher Hinsicht zur Typentheorie und unterscheidet sich von der Zermelo-Fraenkel-Mengenlehre in vielen Punkten, zum Beispiel gilt das Auswahlaxiom nicht und man kann auch die Existenz der Menge der natürlichen Zahlen nicht beweisen.
  • En théorie des ensembles, New Foundations (NF) est une théorie axiomatique découverte par Willard Van Orman Quine. En 1937, il écrivit un article intitulé "New Foundations for Mathematical Logic" . En 1983, le mathématicien belge Marcel Crabbé a prouvé la consistance d'un système qu'il a appelé NFI .
  • A New Foundations (NF) egy alternatív halmazelmélet. Legegyszerűbb változatában mindössze két kézenfekvő axiómából áll, amelyek nagyon hasonlítanak a naiv halmazelmélet két alapelvéhez. A ZF-hez hasonlóan az NF is számos változatban létezik; ezért aztán helyesebb elméletcsaládról beszélni. Legizgalmasabb sajátossága, hogy létezik benne univerzális halmaz, amelynek minden halmaz eleme, beleértve saját magát is.
  • In de wiskundige logica zijn de New Foundations of NF een axiomatische verzamelingenleer, die door Willard Van Orman Quine is opgesteld als een vereenvoudiging van de typentheorie uit de Principia Mathematica . Quine stelde zijn New Foundations in 1937 voor het eerst voor in een artikel getiteld "New Foundations for Mathematical Logic", vandaar de naam.
  • 在数理逻辑中，新基础(NF)是蒯因构想的作为对《数学原理》的类型论的简化的公理化集合论。蒯因于 1937 年在标题为《数理逻辑的新基础》的文章中首次提出了 NF；并因此得名。这个条目的多数内容讨论的是 NFU，它是 Jensen (1969年)贡献的重要变体并被揭示于 Holmes (1998年)的《带有全集的初等集合论》中。
rdfs:label
  • New Foundations
  • New Foundations
  • New Foundations
  • New Foundations
  • New Foundations
  • 新基础集合论
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of