15 relazioni: Assioma (matematica), Assioma della coppia, Assioma di estensionalità, Insieme, Insieme induttivo (logica), Insieme vuoto, Linguaggio formale, Numero naturale, Ordinale successore, Principio d'induzione, Schema di assiomi di specificazione, Singoletto, Teoria degli insiemi, Teoria degli insiemi di Von Neumann-Bernays-Gödel, Teoria degli insiemi di Zermelo-Fraenkel.
Assioma (matematica)
In matematica si chiamano postulati o assiomi tutti e soli gli enunciati che, pur non essendo stati dimostrati, sono considerati veri.
Nuovo!!: Assioma dell'infinito e Assioma (matematica) · Mostra di più »
Assioma della coppia
Nella teoria degli insiemi l'assioma della coppia è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel.
Nuovo!!: Assioma dell'infinito e Assioma della coppia · 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!!: Assioma dell'infinito e Assioma di estensionalità · 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!!: Assioma dell'infinito e Insieme · Mostra di più »
Insieme induttivo (logica)
In logica matematica, e più precisamente in teoria degli insiemi, un insieme X si dice induttivo oppure apodittico se soddisfa l'assioma dell'infinito.
Nuovo!!: Assioma dell'infinito e Insieme induttivo (logica) · Mostra di più »
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento.
Nuovo!!: Assioma dell'infinito e Insieme vuoto · Mostra di più »
Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.
Nuovo!!: Assioma dell'infinito e Linguaggio formale · Mostra di più »
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare.
Nuovo!!: Assioma dell'infinito e Numero naturale · Mostra di più »
Ordinale successore
Un'operazione fondamentale che è possibile effettuare sui numeri ordinali è l'operazione di successione S per ottenere il numero ordinale immediatamente più grande.
Nuovo!!: Assioma dell'infinito e Ordinale successore · Mostra di più »
Principio d'induzione
Il principio d'induzione è un enunciato sui numeri naturali che in matematica trova un ampio impiego nelle dimostrazioni, per provare che una certa proprietà è valida per tutti i numeri interi.
Nuovo!!: Assioma dell'infinito e Principio d'induzione · 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!!: Assioma dell'infinito e Schema di assiomi di specificazione · Mostra di più »
Singoletto
In matematica, un singoletto (oppure singoletta o in inglese singleton) è un insieme contenente esattamente un unico elemento.
Nuovo!!: Assioma dell'infinito e Singoletto · 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!!: Assioma dell'infinito e Teoria degli insiemi · Mostra di più »
Teoria degli insiemi di Von Neumann-Bernays-Gödel
Nello studio dei fondamenti della matematica, la teoria degli insiemi di Von Neumann-Bernays-Gödel (NBG) è una teoria assiomatica degli insiemi che costituisce un'estensione conservativa della canonica teoria assiomatica degli insiemi di Zermelo-Fraenkel con l'assioma della scelta (ZFC).
Nuovo!!: Assioma dell'infinito e Teoria degli insiemi di Von Neumann-Bernays-Gödel · 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!!: Assioma dell'infinito e Teoria degli insiemi di Zermelo-Fraenkel · Mostra di più »