Para ele estas ideias ou formas são os únicos objetos passíveis de oferecer verdadeiro conhecimento. A teoria foi desenvolvida em vários de seus diálogos como uma tentativa de resolver o problema dos universais.