Le livre IV du commentaire de Proclus (412-485) sur le Parménide de Platon, le plus long de tout l'ouvrage, est consacré à Parm. 130 E 4-135 B 2, suite et fin de la discussion sur les idées entre Parménide et Socrate. Après avoir discuté, dans le livre III, le premier et le deuxième des quatre problèmes énumérés au début du livre III, à savoir l’existence des idées et le domaine des idées, Proclus passe ici à la discussion du troisième et du quatrième problème, à savoir la nature des idées et la manière dont les elles sont participées. Ces deux derniers problèmes sont discutés dans l’ordre inverse : d’abord, la manière dont les idées sont participées (Parm. 130 E 4-132 B 2), ensuite, la nature des idées (Parm. 132 B 3-135 B 2). Les six apories soulevées par Parménide contre la doctrine des idées sont interprétées comme des interrogations maïeutiques visant à faire remonter Socrate depuis les corps jusqu’aux formes immatérielles et transcendantes en passant à travers tous les degrés intermédiaires. Les deux premières apories relèvent du problème de la participation, les quatre dernières, du problème de la nature des idées. L’examen des six apories par Proclus constitue un des traités les plus complexes et les plus importants que la métaphysique de l’Antiquité tardive ait fournis.