The need to discern among various equivalent propositions led to the development of various theories. Among them, a strong position currently holds the class of theories developed with the use of so-called impossible objects. The aim is to analyse the concepts of impossible objects and argue whether its use has relevant merits.