Comum · Saberes
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.
Na Wikipédia
Texto em inglês Ainda não há artigo no seu idioma: trecho em inglês.
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.
Texto: Wikipédia em inglês, CC BY-SA 4.0. ·
Cartas próximas
-
U★★
Universo de von Neumann
A classe dos conjuntos hereditariamente bem fundados
-
★★
Teoria dos tipos
-
★★
Willard van Orman Quine
-
f★★
foundational crisis of mathematics
-
★★★
Fundamentos da matemática
Estudo de axiomas, definições e regras lógicas fundamentais na matemática, investigando sua consistência e estruturação
-
A★
Aritmética de Robinson