 It is easy to see how the problem of universals emerges, if we consider a geometrical demonstration, for example, the demonstration of Thales’ theorem. According to the theorem, any triangle inscribed in a semicircle is a right triangle, as is shown in the following diagram: