Common · Knowledge
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
In mathematical logic, New Foundations (NF) is a non-well-founded, finitely axiomatizable set theory conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica.
From Wikipedia
In mathematical logic, New Foundations (NF) is a non-well-founded, finitely axiomatizable set theory conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
V★★
Von Neumann universe
In set theory, the collection of sets obtained by transfinite recursion using the powerset operation
-
★★
Type theory
Study of type systems in mathematical logic and computer science
-
★★
Willard Van Orman Quine
American philosopher and logician (1900–2000)
-
f★★
foundational crisis of mathematics
-
★★★
Foundations of mathematics
Study of the basic mathematical concepts
-
R★
Robinson arithmetic
Finitely axiomatized fragment of first-order Peano arithmetic that is recursively incompletable (in the sense of Gödel’s incompleteness theorems) and essentially undecidable