3) Und wird von Gleichem hinweggenommen, so sind die Reste gleich.
8) Und das Ganze ist grösser als sein Teil.
7) Und einander Deckendes ist gleich.
Euklid sagt: χοιναι εννοιαι. Allen Vernünftigen gemeinsame Einsicht.
Proklos sagt: Axiome eigentlich »Meinungen«, aber nach dem Sprachgebrauch des Aristoteles allgemein angenommene logische Sätze, die man nicht beweisen kann, weil sie die logischen Grundlagen des Beweises sind. Proklos hat nur die 5 angeführt, richtig 8 vor 7, da 7 nicht rein logisch ist, sondern von dem Zusammenfallen in der Anschauung ausgeht um daraus den logischen Schluss der Gleichheit zu ziehen.
Das Axiom 7 ist von Schopenhauer »die Welt als Wille und Vorstellung« T. 2 S. 144 angegriffen, weil es entweder eine Tautologie ist oder eine Bewegung voraussetzt. Es ist von Bolzano und Grassmann (Leibniz) durch das Prinzip ersetzt worden: »Dinge, deren bestimmende Stücke gleich sind, sind gleich« (eine andere Fassung für »gleiche Ursachen gleiche Wirkungen«).
Schopenhauer hat Euklid gar nicht verstanden; Euklid braucht Axiom 7 zuerst beim Beweis des ersten Theorems, Satz 4, der erste Kongruenzsatz, und dort im Grunde nur als Axiom von der Gleichförmigkeit des Raumes, bezw. in dem Sinne Bolzanos und Grassmanns. Ich halte es für einen Fehler, dass Euklid nicht den 1. und 3. Kongruenzsatz in die Forderungen aufgenommen hat.
Technologie der Elemente.
Es folgen nun die 48 »Protasis« (Propositionen d. i. Sätze) des ersten Buches. Die Sätze zerfallen in »Probleme«, Aufgaben, die zur Erzeugung eines Gebildes führen und »Theoreme« Lehrsätze. Den Unterschied definiert Proklos S. 201, wo er, um mit P. Tannery (Géométrie grecque S. 87) zu sprechen, von der Technologie der Elemente handelt wie folgt: Bei den Problemen handelt es sich darum sich Fehlendes zu beschaffen, anschaulich hinzustellen und mit den Kunstmitteln (Lineal und Zirkel) zu erzeugen. Im »Theorem« nimmt man sich vor das Vorhandensein einer Eigenschaft bezw. das Nichtvorhandensein zu sehen, zu erkennen, zu beweisen. Jedes Problem aber und jedes Theorem, das aus seinen vollständigen Teilen zusammengesetzt ist, muss folgendes in sich enthalten: 1) Vorlage (προτασις). 2) Feststellung des Gegebenen (εκθεσις.) Voraussetzung. 3) Feststellung des Geforderten (διορισμός.) Behauptung. 4) Konstruktion (κατασκευη.). 5) Beweis (απόδειξις.) 6) Schluss (συμπέρασμα).
Die Protasis sagt aus, was gegeben und was gefordert wird; denn die vollständige Protasis besteht aus beiden.