Logica matematica/Insiemi: differenze tra le versioni

Non sarà un punto focale di questo libro, ma spesso verrà usato un vocabolario minimo di tale teoria. Questa sezione introduce notazione e vocabolario usati.

 

Intuitivamente, la nozione di insieme può essere pensata come quel processo di astrazione mediante il quale associamo degli elementi distinti in un unico oggetto, detto ''insieme'' (o ''classe''). Tale descrizione può essere considerata vaga e imprecisa, ma in vista degli scopi di questo libro, possiamo attenerci a questo punto di vista intuitivo. Non è richiesta alcuna particolare omogeneità tra gli elementi di un insieme: è possibile associare nello stesso insieme un numero qualsiasi di elementi, di qualsivoglia genere. La definizione di un insieme potrà avvenire attraverso l'elencazione dei suoi elementi, oppure specificando una proprietà che i medesimi devono soddisfare.