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
Show 2 more facts
- time of discovery or invention
- 1937-00-00
- Stack Exchange tag
- mathoverflow.net/tags/new-foundations
Sources (1)
via Wikidata · CC0
Connections
Willard Van Orman Quine
Entity
cardinality
Entity
Peano axioms
Entity
semantic theory of truth
Entity
set theory
Entity
mathematical logic
Entity
Q118398
Entity
Gödel's incompleteness theorems
Entity
axiom of choice
Entity
equality
Entity
first-order logic
Entity
Cantor's diagonal argument
Entity
Principia Mathe
Entity
formal system
Entity
class
Entity
Zermelo–Fraenkel set theory
Entity
existential quantification
Entity
recursive set
Entity
axiom of infinity
Entity
Boolean algebra
Entity