The problem of universals goes back to Plato and Aristotle. The matter at issue is that, on the one hand, the objects of experience are individual, particular, and concrete, while, on the other hand, the objects of thought, or most of the kinds of things that we know even about individuals, are general and abstract, i.e. universals. Thus, a house may be red, but there are many other red things, so redness is a general property, a universal. Redness can also be conceived in the abstract, separate from any particular thing, but it cannot exist in experience except as a property of some particular thing and it cannot even be imagined except with some other minimal properties, e.g. extension (Loux, pp. 3-13). Abstraction is especially conspicuous in mathematics, where numbers, geometrical shapes, and equations are studied in complete separation from experience. The question that may be asked, then, is how it is that general properties or abstract objects are related to the world, how they exist in or in relation to individual objects, and how it is that we know them when experience only seems to reveal individual things.
Plato's answer to this was that universals exist in a separate reality as special objects, distinct in kind, from the things of experience. This is Plato's famous theory of "Forms." Plato himself used the terms idéa and eîdos in Greek, which could mean the "look" of a thing, its form, or the kind or sort of a thing [Liddell and Scott, An Intermediate Greek-English Lexicon, Oxford, 1889, 1964, pp. 226 & 375]. Since Aristotle used the term eîdos to mean something else and consistently used idéa to refer to Plato's theory, in the history of philosophy we usually see references to Plato's "theory of Ideas."