(lógica) coleção de objetos de um modelo para um dado sistema lógicoPor exemplo, um modelo de um sistema lógico concebido para o estudo dos números naturais possui como universo de discurso o conjunto dos números naturais. Se o objeto de estudo de um sistema lógico for conjuntos, então, neste caso, o universo de discurso dos seus modelos é a coleção de todos os conjuntos.