Un objeto imposible puede ser entendido como una representación o una descripción de un objeto, tal que si se formalizara completamente dicha representación o descripción, el conjunto de modelos que satisfacen todas las especificaciones de dicha descripción o representación sería el conjunto vacío.