Na matemática abstrata, a teoria ingênua dos conjuntos foi o primeiro desenvolvimento da teoria dos conjuntos, que foi mais tarde remodelada cuidadosamente como a teoria axiomática dos conjuntos. A teoria ingênua dos conjuntos se distingue da teoria axiomática dos conjuntos pelo fato de que a primeira conta com a compreensão informal dos conjuntos como coleções de objetos, chamado de elementos ou membros do conjunto, enquanto a última usa somente fatos sobre conjuntos e seus membros demonstráveis a partir de listas definidas de axiomas (derivado do nosso entendimento a respeito de coleções de objetos e dos seus membros, mas escritos com cuidado para vários propósitos, incluindo, mas não limitados a evitar os conhecidos paradoxos). Os conjuntos são de grande importância na matemática; de fato, em tratamentos formais modernos, a maioria dos objetos matemáticos (números, relações, funções, etc) são definidos em termos de conjuntos.