Le livre V du commentaire de Proclus (412-485) sur le Parménide de Platon est consacré à Parm. 135 B 3-137 C 3, qui contient l'exposé de la méthode dialectique de Parménide. Après avoir discuté, aux livres III et IV, les quatre problèmes énumérés au début du livre III (existence des idées, domaine des idées, nature des idées, mode de participation aux idées), Proclus passe ici à l'analyse de la méthode que Parménide va appliquer dans la discussion des hypothèses (Parm. 134 C 4 ss.) concernant l'existence et la non-existence de l'Un. La méthode de Parménide consiste à examiner les conséquences d'une hypothèse. L'hypothèse initiale est "si x existe" ; cette hypothèse monadique engendre, par négation, une nouvelle hypothèse : "si x n'existe pas" ; cette dyade est multipliée par trois, parce qu'il y a trois sortes de consequences : (1) ce qui s'ensuit, (2) ce qui ne s'ensuit pas, (3) ce qui à la fois s'ensuit et ne s'ensuit pas ; on parvient ainsi à six hypothèses. Chacune de ces six hypothèses est multipliée par quatre, parce que la conséquence peut être considérée sous quatre points de vue : (1) pour x par rapport à x, (2) pour x par rapport aux autres, (3) pour les autres par rapport à eux-mêmes, (4) pour les autres par rapport à x. On parvient ainsi à vingt-quatre hypothèses, groupées en quatre hexades.
