Ich berufe mich wieder auf die zwey Arten, Wahrheiten darzuthun, die directe nehmlich und die indirecte. Die erstere Beweisart folgert aus der Uebereinstimmung der Begriffe des Subjects und des Prädicats in einem Satz die Wahrheit desselben, und verfährt jederzeit nach dieser Grundregel: Wenn das Subject, an sich oder im Zusammenhang betrachtet, das voraussetzt, was den Begriff des Prädicats enthält, oder wenn es das ausschließt, was durch den Begriff des Prädicats ausgeschlossen ist, so muß man sagen, daß dieses Prädicat jenem Subject zukomme; oder, um das nehmliche deutlicher zu sagen: wenn sich in den Begriffen des Subjects und Prädicats eines Satzes Einerleyheit findet, so ist dieser Satz wahr. Dieses wird in den allgemeinsten Termini, wie sie in einem ersten Grundsatz seyn sollen, so ausgesprochen: <hi xmlns="http://www.tei-c.org/ns/1.0" rend="spaced">Alles, was ist, ist; alles, was nicht ist, ist nicht</hi>. Demnach wird die directe Beweisart ganz gewiß von dem Identitätsprincip ausgehen, welches der erste Satz ist.