8 relazioni: Assioma, Coerenza (logica matematica), NBG, Nuova fondazione, Teoria assiomatica degli insiemi, Teoria degli insiemi di Zermelo-Fraenkel, Wang Hao, Willard Van Orman Quine.
Assioma
In epistemologia, un assioma è una proposizione o un principio che è assunto come vero perché ritenuto evidente o perché fornisce il punto di partenza di un quadro teorico di riferimento.
Nuovo!!: Teoria degli insiemi ML e Assioma · Mostra di più »
Coerenza (logica matematica)
In logica matematica, una teoria formale si dice coerente (o non contraddittoria, talvolta anche consistente, per assonanza con l'inglese consistent) se in essa è impossibile dimostrare una contraddizione.
Nuovo!!: Teoria degli insiemi ML e Coerenza (logica matematica) · Mostra di più »
NBG
Nessuna descrizione.
Nuovo!!: Teoria degli insiemi ML e NBG · Mostra di più »
Nuova fondazione
La Nuova fondazione (in inglese New foundations o NF), nella teoria assiomatica degli insiemi, è il sistema assiomatico elaborato da Willard Van Orman Quine nel saggio Nuovi fondamenti per la logica matematica verso gli anni cinquanta-sessanta, riveduto negli anni ottanta, ispirato per molti aspetti alla teoria dei tipi contenuta nei Principia Mathematica di Russell-Whitehead.
Nuovo!!: Teoria degli insiemi ML e Nuova fondazione · Mostra di più »
Teoria assiomatica degli insiemi
La teoria degli insiemi è una branca della matematica sviluppata principalmente dal matematico tedesco Georg Cantor alla fine del XIX secolo.
Nuovo!!: Teoria degli insiemi ML e Teoria assiomatica degli insiemi · Mostra di più »
Teoria degli insiemi di Zermelo-Fraenkel
In matematica, e in particolare in logica matematica, la teoria degli insiemi di Zermelo-Fraenkel comprende gli assiomi standard della teoria assiomatica degli insiemi su cui, insieme con l'assioma di scelta, si basa tutta la matematica ordinaria secondo formulazioni moderne.
Nuovo!!: Teoria degli insiemi ML e Teoria degli insiemi di Zermelo-Fraenkel · Mostra di più »
Wang Hao
* Hao Wang (1921-1995), logico, filosofo e matematico statunitense di origine cinese.
Nuovo!!: Teoria degli insiemi ML e Wang Hao · Mostra di più »
Willard Van Orman Quine
Quine ha ricoperto la cattedra Edgar Pierce di filosofia della Harvard University dal 1956 al 2000.
Nuovo!!: Teoria degli insiemi ML e Willard Van Orman Quine · Mostra di più »