图争论说所有事物都有一个普遍形式，它可以要麼是一个性质，要麼是与其他事物的一种关系。
比如当我们看一个苹果的时候，我们看到一个苹果，并且我们还可以分析出一个苹果的形式。
在这种区分中，有一个特定的苹果和一个苹果的普遍形式。此外，我们可以把一个苹果放置在一本书的旁边，那麼我们可以说这本书和这个苹果二者是相互靠近的。
柏拉图争论说有著并非特定事物的一部分的某些普遍形式。例如，有可能没有特例的好人存在，但「好人」仍是一个真正的普遍性形式。伯特兰、罗素是赞成柏拉图的「未示例的普遍性」的当代哲学家。
亚里斯多德在这个问题上不赞同柏拉图，他论说所有普遍者都是有示例的。亚里斯多德争论说没有不能联系於存在事物的普遍者。
遵照亚里斯多德，如果普遍者存在，它要麼作為一个特定者要麼作為一种关系，那麼在过去、现在或未来，必定有可以断定為这个普遍者的某个事物。
作為结论，遵照亚里斯多德，如果某个普遍者无法被断定為存在於某个时期的一个客体，那麼它不存在。
此外，亚里斯多德在普遍者的位置上不赞成柏拉图。因為柏拉图谈论了形式的世界，这