About: New Foundations

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Axiomatic set theory permitting set comprehension by stratified formulae, hence with a universal set, but in which the singleton map 𝑥↦{𝑥} fails to exist

Property Value
dbo:description
  • aksioma aroteorio, en kiu ekzistas universala aro, sed la bildigo 𝑥↦{𝑥} ne ekzistas (eo)
  • théorie mathématique de Willard Van Orman Quine (fr)
  • teoria axiomàtica de conjunts desenvolupada per Quine (ca)
  • axiomatic set theory permitting set comprehension by stratified formulae, hence with a universal set, but in which the singleton map 𝑥↦{𝑥} fails to exist (en)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:certain
  • y (en)
dbp:date
  • August 2025 (en)
dbp:reason
  • Upon investigation, it was found that the proof of the theorem was developed by Robert Solovay in 2002 but was never published. However, multiple independently published papers have directly acknowledged the theorem as a fact and credited Robert Solovay with its proof. (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • New Foundations (en)
  • New Foundations (de)
  • Nuevos Fundamentos (es)
  • Nuova fondazione (it)
  • New Foundations (fr)
  • 새 기초 (ko)
  • 新基礎集合論 (ja)
  • New Foundations (nl)
  • 新基础集合论 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:notableIdeas of
is dbp:thesisTitle of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International