Against the Logicians, Books VII-VIII of Against the Learned Section 396

ἣ μὲν γὰρ τοῦ ἀληθὲς εἶναι ἀλλὰ μὴ ψεῦδος ἔστιν ἀπόδειξις· μηδενὸς δὲ ὄντος ψεύδους οὐ χρεία τοῦ διδάξοντος ὅτι οὐκ ἔστι ψεῦδος· τὸ δὲ σημεῖον καὶ τὸ τεκμήριον ἐπηγγέλλετο ἐκκαλυπτικὸν εἶναι τοῦ ἀδηλουμένου, πάντων δὲ ἀληθῶν ὄντων καὶ δι’ αὑτῶν προφανῶν οὐ χρῄζομεν τοῦ μηνύσοντος τὸ μὴ γινωσκόμενον, εἴτε ἀληθές ἐστιν εἴτε καὶ ψεῦδος.

For demonstration establishes that something is true rather than false; but if nothing is false, there is no need for anything to teach that it is not false. The sign and the proof were declared to reveal what is non-evident; but if everything is true and manifest through itself, we do not need something to disclose what is not known, whether it is true or false.

La démonstration établit qu’une chose est vraie et non fausse; mais si rien n’est faux, nul besoin de ce qui enseignera qu’elle ne l’est pas. Quant au signe et à l’indice, ils étaient censés dévoiler ce qui est obscur; mais si toutes choses sont vraies et manifestes par elles-mêmes, nous n’avons pas besoin de ce qui révélera ce que nous ne connaissons pas, que ce soit vrai ou faux.