New Foundations
In de wiskundige logica zijn de New Foundations of NF (Nederlands: "nieuwe grondslagen") 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.
Q1166618
wiskundige logica
Concept
Q7411
Nederlands
Concept
Q904423
axiomatische verzamelingenleer
Concept
Q214969
Willard Van Orman Quine
PER
Q1056428
typentheorie
Concept
None
Principia Mathematica 
UNK
Q18647
1937
TIME
Q649337
New Foundations
MEDIA
Q649337
New Foundations
MEDIA
Q649337
New Foundations
MEDIA
1937-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1937
DATE
instance of
time of discovery or invention
facet of
point in time
time of discovery or invention