Aristotle: Analytica Posteriora (Posterior Analytics)

εἰς ἄπειρον (πρὶν γὰρ ἐπὶ τὸ Ζ ἐλθεῖν, ἄπειρα τὰ μεταξύ) καὶ ἀπὸ τοῦ Ζ ἐπὶ τὸ ἄνω ἄπειρα, πρὶν ἐπὶ τὸ Α ἐλθεῖν. Ὤστ᾿ εἰ ταῦτα ἀδύνατα, καὶ τοῦ Α καὶ Ζ ἀδύνατον ἄπειρα εἶναι μεταξύ. Οὐδὲ γὰρ εἴ τις λέγοι ὅτι τὰ μέν ἐστι τῶν Α Β ἐχόμενα ἀλλήλων ὥστε μὴ εἶναι μεταξύ, τὰ δ᾿ οὐκ ἔστι λαβεῖν, οὐδὲν διαφέρει. Ὃ γὰρ ἂν λάβω τῶν Β, ἔσται πρὸς τὸ Α ἢ πρὸς τὸ Ζ ἢ ἄπειρα τὰ μεταξὺ ἢ οὔ. Ἀφ᾿ οὗ δὴ πρῶτον ἄπειρα, εἴτ᾿ εὐθὺς εἴτε μὴ εὐθύς, οὐδὲν διαφέρει· τὰ γὰρ μετὰ ταῦτα ἄπειρά ἐστιν.

Φανερὸν δὲ καὶ ἐπὶ τῆς στερητικῆς ἀποδείξεως ὅτι στήσεται, εἴπερ ἐπὶ τῆς κατηγορικῆς ἵσταται ἐπ᾿ ἀμφότερα. Ἔστω γὰρ μὴ ἐνδεχόμενον μήτε ἐπὶ τὸ ἄνω ἀπὸ τοῦ ὑστάτου εἰς ἄπειρον ἰέναι (λέγω δ᾿ ὕστατον ὃ αὐτὸ μὲν ἄλλῳ μηδενὶ ὑπάρχει, ἐκείνῳ δὲ ἄλλο, οἷον τὸ Ζ) μήτε ἀπὸ τοῦ πρώτου ἐπὶ τὸ ὕστατον (λέγω δὲ πρῶτον ὃ αὐτὸ μὲν κατ᾿ ἄλλου, κατ᾿ ἐκείνου δὲ μηδὲν ἄλλο). Εἰ δὴ ταῦτ᾿ ἐστί, καὶ ἐπὶ τῆς ἀποφάσεως στήσεται. Τριχῶς γὰρ δείκνυται μὴ ὑπάρχον. Ἣ γὰρ ᾧ μὲν τὸ Γ, τὸ Β ὑπάρχει παντί, ᾧ δὲ τὸ Β, οὐδενὶ τὸ Α. Τοῦ μὲν τοίνυν Β Γ, καὶ ἀεὶ τοῦ ἑτέρου διαστήματος, ἀνάγκη βαδίζειν εἰς ἄμεσα· κατηγορικὸν γὰρ τοῦτο τὸ διάστημα. Τὸ δ᾿ ἕτερον δῆλον ὅτι εἰ ἄλλῳ οὐχ ὑπάρχει προτέρῳ, οἷον τῷ Δ, τοῦτο δεήσει τῷ Β παντὶ ὑπάρχειν. Καὶ εἰ πάλιν ἄλλῳ τοῦ Δ προτέρῳ οὐχ ὑπάρχει, ἐκεῖνο δεήσει τῷ Δ παντὶ ὑπάρχειν. Ὥστ᾿ ἐπεὶ ἡ ἐπὶ τὸ κάτω ἵσταται ὁδός, καὶ ἡ ἐπὶ τὸ ἄνω στήσεται, καὶ ἔσται τι πρῶτον, ᾧ οὐχ ὑπάρχει. Πάλιν εἰ τὸ μὲν Β παντὶ τῷ Α, τῷ δὲ Γ μηδενί, τὸ Α τῷ Γ οὐδενὶ ὑπάρχει. Πάλιν τοῦτο εἰ δεῖ δεῖξαι, δῆλον ὅτι ἢ διὰ τοῦ ἄνω τρόπου δειχθήσεται ἢ διὰ τούτου ἢ τοῦ τρίτου. Ὁ μὲν οὖν πρῶτος εἴρηται,