New Foundations
Sign in to saveAlso known as NF, New Foundations with urelements, NFU, Quine's New Foundations
axiomatic set theory permitting set comprehension by stratified formulae, hence with a universal set, but in which the singleton map 𝑥↦{𝑥} fails to exist
Wikidata facts
- Instance of
- alternative set theory
- Has part
- axiom of extensionality
Show 3 more facts
- time of discovery or invention
- 1937-00-00
- discoverer or inventor
- Willard Van Orman Quine
- Stack Exchange tag
- mathoverflow.net/tags/new-foundations
Sources (1)
via Wikidata · CC0