33 relazioni: Adolf Abraham Halevi Fraenkel, Albert Thoralf Skolem, Assioma della scelta, Assioma di estensionalità, Buon ordine, Coerenza (logica matematica), Ernst Zermelo, Fondamenti della matematica, Funzione (matematica), Immagine (matematica), Inclusione, Insieme, Linguaggio del primo ordine, Logica intuizionista, Modello (logica matematica), Numero ordinale (teoria degli insiemi), Predicato funzionale, Relazione (matematica), Schema di assiomi, Schema di assiomi di specificazione, Se e solo se, Teoremi di incompletezza di Gödel, Teoria assiomatica degli insiemi, Teoria degli insiemi, Teoria degli insiemi di Zermelo-Fraenkel, Teoria dei tipi, Teoria della dimostrazione, Tertium non datur, Topos (matematica), Uguaglianza (matematica), Variabile (matematica), 1908, 1922.
Adolf Abraham Halevi Fraenkel
Fraenkel ha studiato alle Università di Monaco, di Berlino, di Marburgo e di Breslavia.
Nuovo!!: Schema di assiomi di rimpiazzamento e Adolf Abraham Halevi Fraenkel · Mostra di più »
Albert Thoralf Skolem
Nel 1905 entra nell'Università di Kristiania, il nome di allora di Oslo, per studiare matematica, ma studia anche fisica, chimica, botanica e zoologia.
Nuovo!!: Schema di assiomi di rimpiazzamento e Albert Thoralf Skolem · Mostra di più »
Assioma della scelta
L'assioma della scelta è un assioma di teoria degli insiemi enunciato per la prima volta da Ernst Zermelo nel 1904.
Nuovo!!: Schema di assiomi di rimpiazzamento e Assioma della scelta · Mostra di più »
Assioma di estensionalità
Nella teoria degli insiemi, l'assioma di estensionalità, o assioma dell'estensione, è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel.
Nuovo!!: Schema di assiomi di rimpiazzamento e Assioma di estensionalità · Mostra di più »
Buon ordine
In matematica, un buon ordine o buon ordinamento su un insieme S è una relazione d'ordine su S con la proprietà che ogni sottoinsieme non vuoto di S ha un elemento minimo secondo questo ordine.
Nuovo!!: Schema di assiomi di rimpiazzamento e Buon ordine · 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!!: Schema di assiomi di rimpiazzamento e Coerenza (logica matematica) · Mostra di più »
Ernst Zermelo
Si diplomò al Luisenstädtisches Gymnasium di Berlino nel 1889.
Nuovo!!: Schema di assiomi di rimpiazzamento e Ernst Zermelo · Mostra di più »
Fondamenti della matematica
Nei ''Principia Mathematica'', Bertrand Russell e Alfred North Whitehead propongono di fondare la matematica su basi logiche Per fondamenti della matematica si intende lo studio delle basi logiche e filosofiche della matematica.
Nuovo!!: Schema di assiomi di rimpiazzamento e Fondamenti della matematica · Mostra di più »
Funzione (matematica)
In matematica, una funzione è una relazione tra due insiemi, chiamati dominio e codominio della funzione, che associa a ogni elemento del dominio uno e un solo elemento del codominio.
Nuovo!!: Schema di assiomi di rimpiazzamento e Funzione (matematica) · Mostra di più »
Immagine (matematica)
In matematica, l'immagine di un sottoinsieme del dominio di una funzione è l'insieme degli elementi ottenuti applicando la funzione a tale sottoinsieme.
Nuovo!!: Schema di assiomi di rimpiazzamento e Immagine (matematica) · Mostra di più »
Inclusione
In matematica, e in particolare in teoria degli insiemi, l'inclusione, indicata con \subseteq, è una relazione binaria tra insiemi definita nel seguente modo: "l'insieme B è contenuto o incluso nell'insieme A se e solo se, per ogni elemento x, se x appartiene a B allora x appartiene ad A".
Nuovo!!: Schema di assiomi di rimpiazzamento e Inclusione · Mostra di più »
Insieme
In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.
Nuovo!!: Schema di assiomi di rimpiazzamento e Insieme · Mostra di più »
Linguaggio del primo ordine
Nella logica matematica il linguaggio del primo ordine è un linguaggio formale che serve per gestire meccanicamente enunciati e ragionamenti che coinvolgono i connettivi logici, le relazioni e i quantificatori "per ogni..." (∀) ed "esiste..." (∃).
Nuovo!!: Schema di assiomi di rimpiazzamento e Linguaggio del primo ordine · Mostra di più »
Logica intuizionista
La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.
Nuovo!!: Schema di assiomi di rimpiazzamento e Logica intuizionista · Mostra di più »
Modello (logica matematica)
In logica matematica un modello per un linguaggio o una teoria formale è intuitivamente un'attribuzione di un significato a tutti gli enunciati (le formule) del linguaggio.
Nuovo!!: Schema di assiomi di rimpiazzamento e Modello (logica matematica) · Mostra di più »
Numero ordinale (teoria degli insiemi)
In matematica, i numeri ordinali costituiscono un'estensione dei numeri naturali che tiene conto anche di successioni infinite, introdotta da Georg Cantor nel 1897.
Nuovo!!: Schema di assiomi di rimpiazzamento e Numero ordinale (teoria degli insiemi) · Mostra di più »
Predicato funzionale
In logica matematica, per predicato funzionale o formula funzionale o simbolo funzionale in x si intende un predicato \Phi(x,y), in cui le variabili x ed y occorrono libere, avente la seguente proprietà: \forall x\Bigl(\exists y\bigl(\Phi(x,y)\bigr) \Rightarrow \forall z\bigl(\Phi(x,z) \Rightarrow (z.
Nuovo!!: Schema di assiomi di rimpiazzamento e Predicato funzionale · Mostra di più »
Relazione (matematica)
In matematica una relazione è un sottoinsieme del prodotto cartesiano di due o più insiemi.
Nuovo!!: Schema di assiomi di rimpiazzamento e Relazione (matematica) · Mostra di più »
Schema di assiomi
In logica matematica si chiama schema di assiomi una scrittura simbolica che rappresenta schematicamente delle regole di costruzione per un insieme (eventualmente infinito) di formule ben formate che si intende includere tra gli assiomi di una teoria proposizionale o del primo ordine.
Nuovo!!: Schema di assiomi di rimpiazzamento e Schema di assiomi · Mostra di più »
Schema di assiomi di specificazione
Nella teoria degli insiemi, lo schema di assiomi di specificazione, o schema di assiomi di separazione, è uno schema di assiomi della teoria degli insiemi di Zermelo-Fraenkel.
Nuovo!!: Schema di assiomi di rimpiazzamento e Schema di assiomi di specificazione · Mostra di più »
Se e solo se
In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.
Nuovo!!: Schema di assiomi di rimpiazzamento e Se e solo se · Mostra di più »
Teoremi di incompletezza di Gödel
In logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da Kurt Gödel nel 1931.
Nuovo!!: Schema di assiomi di rimpiazzamento e Teoremi di incompletezza di Gödel · 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!!: Schema di assiomi di rimpiazzamento e Teoria assiomatica degli insiemi · Mostra di più »
Teoria degli insiemi
La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.
Nuovo!!: Schema di assiomi di rimpiazzamento e Teoria 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!!: Schema di assiomi di rimpiazzamento e Teoria degli insiemi di Zermelo-Fraenkel · Mostra di più »
Teoria dei tipi
Dal punto di vista più generale, la teoria dei tipi è la branca della matematica e della logica che si occupa di classificare generiche entità, raggruppandole in collezioni chiamate tipi.
Nuovo!!: Schema di assiomi di rimpiazzamento e Teoria dei tipi · Mostra di più »
Teoria della dimostrazione
La teoria della dimostrazione è la branca della logica matematica che considera le dimostrazioni a loro volta come oggetti matematici, facilitando la loro analisi con tecniche matematiche.
Nuovo!!: Schema di assiomi di rimpiazzamento e Teoria della dimostrazione · Mostra di più »
Tertium non datur
Tertium non datur (tradotto: «Una terza cosa non è data») è una locuzione che appartiene al repertorio delle celebri frasi in lingua latina entrate nel patrimonio culturale mondiale.
Nuovo!!: Schema di assiomi di rimpiazzamento e Tertium non datur · Mostra di più »
Topos (matematica)
Topos in matematica (plurale topoi) è un tipo di categoria che si comporta come la categoria dei fasci di insiemi su uno spazio topologico.
Nuovo!!: Schema di assiomi di rimpiazzamento e Topos (matematica) · Mostra di più »
Uguaglianza (matematica)
In matematica l'uguaglianza indica comunemente una relazione binaria di equivalenza fra due enti, detti membri dell'uguaglianza.
Nuovo!!: Schema di assiomi di rimpiazzamento e Uguaglianza (matematica) · Mostra di più »
Variabile (matematica)
In matematica, una variabile è un carattere alfabetico che rappresenta un numero arbitrario, non completamente specificato o del tutto sconosciuto ovvero incognito.
Nuovo!!: Schema di assiomi di rimpiazzamento e Variabile (matematica) · Mostra di più »
1908
Nessuna descrizione.
Nuovo!!: Schema di assiomi di rimpiazzamento e 1908 · Mostra di più »
1922
Nessuna descrizione.
Nuovo!!: Schema di assiomi di rimpiazzamento e 1922 · Mostra di più »