In
matematica, un
insieme è una collezione di oggetti, che è a sua volta un oggetto. Si tratta di un concetto fondamentale della matematica moderna, a partire dal quale si è sviluppata la
teoria degli insiemi. Nell'uso informale gli oggetti della collezione possono essere qualunque cosa:
numeri,
lettere,
persone,
figure, etc., anche non necessariamente omogenei; nelle formalizzazioni matematiche gli oggetti della collezione vanno invece ben definiti e determinati. Il concetto di insieme è considerato
primitivo ed
intuitivo:
primitivo perché viene introdotto come nozione non derivabile da concetti più elementari;
intuitivo perché viene introdotto come generalizzazione della nozione di insieme finito, che a sua volta è introdotta dall'analogia con l'
esperienza sensibile di scatole che contengono oggetti materiali (tendenzialmente omogenei); questa impostazione si basa sulla convinzione che l'idea di insieme sia naturalmente presente nella mente umana.