Edition urn:cts:greekLit:tlg1264.tlg001.1st1K-grc1

Sextus adv. math. VIII 310. τούτων δὴ οὕτως ἐχόντων ἡ ἀπόδειξις πρὸ παντὸς ὀφείλει λόγος εἶναι, δεύτερον συνακτικός, τρίτον καὶ ἀληθής, τέταρτον καὶ ἄδηλον ἔχων συμπέρασμα, πέμπτον καὶ ἐκκαλυπτόμενον τοῦτο ἐκ τῆς δυνάμεως τῶν λημμάτων. (hoc exemplis illustratur §311-313) 314. συνδραμόντων οὖν πάντων τούτων, τοῦ τε συνακτικὸν εἶναι τὸν λόγον καὶ ἀληθῆ καὶ ἀδήλου παραστατικόν, ὑφίσταται ἡ ἀπόδειξις· ἔνθεν καὶ οὕτως αὐτὴν ὑπογράφουσιν ἀπόδειξίς ἐστι λόγος δι’ ὁμολογουμένων λημμάτων κατὰ συναγωγὴν ἐπιφορὰν ἐκκαλύπτων ἄδηλον.