Die Ekthesis setzt das Gegebene an und für sich, (d. h. ohne Rücksicht auf das Geforderte) genau auseinander und arbeitet dadurch der Untersuchung vor.
Der Diorismos aber macht das Gesuchte, es sei, was es sei, an und für sich deutlich. Der Ausdruck Diorismos wird hier bei Proklos anders gebraucht als bei Pappos; Peyrard hat Prodiorismos: Bei Pappos bezeichnet Diorismos genau das, was wir heute Determination nennen, d. h. die Angabe derjenigen Einschränkungen in bezug auf die gegebenen Stücke, welche zur Ausführbarkeit der Konstruktion nötig sind.
Die Kataskeuē fügt das hinzu, was dem Gegebenen zur Erlangung des Gesuchten mangelt. Proklos sagt zur »Jagd« θηραν und braucht das Bild wiederholt, so alt ist das Bewusstsein des Kampfes des Mathematikers mit seinem Problem.
Die Apodeixis leitet das Vorliegende logisch von dem, was bereits feststeht, ab.
Das Symperasma aber kehrt wieder zur Vorlage zurück, indem es den bewiesenen Satz klar und deutlich ausspricht. Und dies sind alle Teile sowohl der Probleme als der Theoreme.
1) πρότασις.
Technologie, Beispiel.
Ich gebe ein Beispiel (S. 5): Im gleichschenkligen Dreieck sind die Winkel an der Basis einander gleich, und werden die gleichen Schenkel verlängert, so sind die Winkel unterhalb der Basis einander gleich.
