Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03841895n
Noun Named Entity
Categories: Urelements, Type theory, Systems of set theory, Willard Van Orman Quine
EN
New Foundations  New Foundations for Mathematical Logic  typed set theory
EN
In mathematical logic, New Foundations is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, New Foundations is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Wikipedia
An axiomatic set theory Wikipedia Disambiguation
An axiomatic set theory devised by W.V.O. Quine Wikidata
IS A
alternative set theory
axiomatic set theory
HAS PART
axiom of extensionality
DISCOVERER OR INVENTOR
Quine
Wikipedia
EN
New Foundations
Wikidata
EN
New Foundations
Wikipedia Redirections
EN
New foundations, New Foundations for Mathematical Logic, typed set theory

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License