Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/New_Foundations> ?p ?o }
- New_Foundations authorlink "J. Barkley Rosser".
- New_Foundations first "Hao".
- New_Foundations first "J. Barkley".
- New_Foundations last "Rosser".
- New_Foundations last "Wang".
- New_Foundations wikiPageUsesTemplate Template:Citation.
- New_Foundations wikiPageUsesTemplate Template:Date%3F.
- New_Foundations wikiPageUsesTemplate Template:Harvs.
- New_Foundations wikiPageUsesTemplate Template:Reflist.
- New_Foundations wikiPageUsesTemplate Template:Set_theory.
- New_Foundations year "1942".
- New_Foundations year "1950".
- New_Foundations subject Category:Systems_of_set_theory.
- New_Foundations subject Category:Type_theory.
- New_Foundations subject Category:Urelements.
- New_Foundations subject Category:Willard_Van_Orman_Quine.
- New_Foundations hypernym Theory.
- New_Foundations type Philosopher.
- New_Foundations type Work.
- New_Foundations type Philosopher.
- New_Foundations type Redirect.
- New_Foundations 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 label "New Foundations".
- New_Foundations sameAs Q649337.
- New_Foundations sameAs New_Foundations.
- New_Foundations sameAs Nuevos_Fundamentos.
- New_Foundations sameAs New_Foundations.
- New_Foundations sameAs New_Foundations.
- New_Foundations sameAs Nuova_fondazione.
- New_Foundations sameAs 新基礎集合論.
- New_Foundations sameAs New_Foundations.
- New_Foundations sameAs m.03s8xw.
- New_Foundations sameAs Q649337.
- New_Foundations sameAs 新基础集合论.
- New_Foundations wasDerivedFrom New_Foundations?oldid=701401172.
- New_Foundations isPrimaryTopicOf New_Foundations.