Aristotle: Analytica Posteriora (Posterior Analytics)

ἄπειρον βαδιεῖται· ἢ τὰ πρῶτα ὁρισμοὶ ἔσονται ἀναπόδεικτοι.

Ἀλλ᾿ ἆρα, εἰ μὴ παντὸς τοῦ αὐτοῦ, ἀλλά τινος τοῦ αὐτοῦ ἐστὶν ὁρισμὸς καὶ ἀπόδειξις; ἢ ἀδύνατον; οὐ γάρ ἐστιν ἀπόδειξις οὗ ὁρισμός. Ὁρισμὸς μὲν γὰρ τοῦ τί ἐστι καὶ οὐσίας· αἱ δ᾿ ἀποδείξεις φαίνονται πᾶσαι ὑποτιθέμεναι καὶ λαμβάνουσαι τὸ τί ἐστιν, οἷον αἱ μαθηματικαὶ τί μονὰς καὶ τί τὸ περιττόν, καὶ αἱ ἄλλαι ὁμοίως. Ἔτι πᾶσα ἀπόδειξις τὶ κατά τινος δείκνυσιν, οἷον ὅτι ἔστιν ἢ οὐκ ἔστιν· ἐν δὲ τῷ ὁρισμῷ οὐδὲν ἕτερον ἑτέρου κατηγορεῖται, οἷον οὔτε τὸ ζῷον κατὰ τοῦ δίποδος οὔτε τοῦτο κατὰ τοῦ ζῴου, οὐδὲ δὴ κατὰ τοῦ ἐπιπέδου τὸ σχῆμα· οὐ γάρ ἐστι τὸ ἐπίπεδον σχῆμα, οὐδὲ τὸ σχῆμα ἐπίπεδον. Ἔτι ἕτερον τὸ τί ἐστι καὶ ὅτι ἐστὶ δεῖξαι. Ὁ μὲν οὖν ὁρισμὸς τί ἐστι δηλοῖ, ἡ δὲ ἀπόδειξις ὅτι ἢ ἔστι τόδε κατὰ τοῦδε ἢ οὐκ ἔστιν. Ἑτέρου δὲ ἑτέρα ἀπόδειξις, ἐὰν μὴ ὡς μέρος ᾖ τι τῆς ὅλης. Τοῦτο δὲ λέγῳ, ὅτι δέδεικται τὸ ἰσοσκελὲς δύο ὀρθαῖς, εἰ πᾶν τρίγωνον δέδεικται· μέρος γάρ, τὸ δ᾿ ὅλον. Ταῦτα δὲ πρὸς ἄλληλα οὐκ ἔχει οὕτως, τὸ ὅτι ἔστι καὶ τί ἐστιν· οὐ γάρ ἐστι θατέρου θάτερον μέρος.

Φανερὸν ἄρα ὅτι οὔτε οὗ ὁρισμός, τούτου παντὸς ἀπόδειξις, οὔτε οὗ ἀπόδειξις, τούτου παντὸς ὁρισμός· ὥστε ὅλως τοῦ αὐτοῦ οὐδενὸς ἐνδέχεται ἄμφω ἔχειν. Ὥστε δῆλον ὡς οὐδὲ ὁρισμὸς καὶ ἀπόδειξις οὔτε τὸ αὐτὸ ἂν εἴη οὔτε θάτερον ἐν θατέρῳ· καὶ γὰρ ἂν τὰ ὑποκείμενα ὁμοίως εἶχεν.

Ταῦτα μὲν οὖν μέχρι τούτου διηπορήσθω· τοῦ δὲ τί ἐστι πότερον ἔστι συλλογισμὸς καὶ ἀπόδειξις ἢ οὐκ ἔστι, καθάπερ νῦν ὁ λόγος ὑπέθετο; ὁ μὲν γὰρ συλλογισμὸς τὶ κατά τινος δείκνυσι διὰ τοῦ μέσου· τὸ δὲ τί ἐστιν ἴδιόν τε, καὶ ἐν τῷ τί ἐστι κατηγορεῖται. Ταῦτα δ᾿ ἀνάγκη ἀντιστρέφειν. Εἰ γὰρ τὸ Α τοῦ Γ ἴδιον, δῆλον ὅτι καὶ τοῦ Β καὶ τοῦτο