La teoría de conjuntos es una rama de la matemática relativamente moderna cuyo propósito es estudiar unas entidades llamadas conjuntos, aunque otra parte de esta teoría es reconocida como los fundamentos mismos de las matemáticas.