La teoría informal de conjuntos es una teoría “no formalizada”; es decir, que emplea el lenguaje cotidiano para hablar de conjuntos, por lo que los conectores « y »; « o »; « no »; « si..., entonces »; « si y sólo si », no están sujetos a definiciones rigurosas.