Aristotle: Analytica Priora (Prior Analytics)

Ὁμοίως δὲ καὶ εἰ μὴ παντὶ δέδεικται ὑπάρχον. Ἡ μὲν γὰρ ὑπόθεσίς ἐστι παντὶ ὑπάρχειν, τὸ δὲ Γ ἐλαμβάνετο τῷ μὲν Α παντί, τῷ δὲ Β οὐ παντί. Καὶ εἰ στερητικὸν λαμβάνοιτο τὸ Γ Α, ὡσαύτως· καὶ γὰρ οὕτω γίνεται τὸ μέσον σχῆμα. Πάλιν δεδείχθω τινὶ ὑπάρχον τῷ Β τὸ Α. Ἡ μὲν οὖν ὑπόθεσις μηδενὶ ὑπάρχειν, τὸ δὲ Β ἐλαμβάνετο παντὶ τῷ Γ ὑπάρχειν καὶ τὸ Α ἢ παντὶ ἢ τινὶ τῷ Γ· οὕτω γὰρ ἔσται τὸ ἀδύνατον. Τοῦτο δὲ τὸ ἔσχατον σχῆμα, εἰ τὸ Α καὶ τὸ Β παντὶ τῷ Γ. Καὶ φανερὸν ἐκ τούτων ὅτι ἀνάγκη τὸ Α τινὶ τῷ Β ὑπάρχειν. Ὁμοίως δὲ καὶ εἰ τινὶ τῷ Γ ληφθείη ὑπάρχον τὸ Β ἢ τὸ Α.

Πάλιν ἐν τῷ μέσῳ σχήματι δεδείχθω τὸ Α παντὶ τῷ Β ὑπάρχον. Οὐκοῦν ἡ μὲν ὑπόθεσις ἦν μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Α παντὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β· οὕτω γὰρ ἔσται τὸ ἀδύνατον. Τοῦτο δὲ τὸ πρῶτον σχῆμα, τὸ Α παντὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β. Ὁμοίως δὲ καὶ εἰ τινὶ δέδεικται ὑπάρχον· ἡ μὲν γὰρ ὑπόθεσις ἦν μηδενὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Α παντὶ τῷ Γ καὶ τὸ Γ τινὶ τῷ Β. Εἰ δὲ στερητικὸς ὁ συλλογισμός, ἡ μὲν ὑπόθεσις τὸ Α τινὶ τῷ Β ὑπάρχειν, εἴληπται δὲ τὸ Α μηδενὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β, ὥστε γίνεται τὸ πρῶτον σχῆμα. Καὶ εἰ μὴ καθόλου ὁ συλλογισμός, ἀλλὰ τὸ Α τινὶ τῷ Β δέδεικται μὴ ὑπάρχειν, ὡσαύτως. Ὑπόθεσις μὲν γὰρ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Α μηδενὶ τῷ Γ καὶ τὸ Γ τινὶ τῷ Β· οὕτω γὰρ τὸ πρῶτον σχῆμα.

Πάλιν ἐν τῷ τρίτῳ σχήματι δεδείχθω τὸ Α παντὶ τῷ Β ὑπάρχειν. Οὐκοῦν ἡ μὲν ὑπόθεσις ἦν μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Γ παντὶ τῷ Β καὶ τὸ Α παντὶ τῷ Γ· οὕτω γὰρ ἔσται τὸ ἀδύνατον. Τοῦτο δὲ τὸ πρῶτον σχῆμα. Ὡσαύτως δὲ καὶ εἰ ἐπί τινος ἡ ἀπόδειξις· ἡ μὲν γὰρ ὑπόθεσις μηδενὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Γ τινὶ τῷ Β καὶ τὸ Α παντὶ τῷ Γ. Εἰ δὲ στερητικὸς ὁ