Adversus Mathematicos (3.113-4.1)

τό τε τέμνον τὴν γραμμὴν ἤτοι σῶμά ἐστιν ἢ ἀσώματον. οὔτε δὲ σῶμα
δύναται τυγχάνειν ἀθιγὲς γάρ τι καὶ ἀσώματον καὶ μὴ ὑποπῖπτον αὑτῷ οὐκ ἂν τέμοι οὔτε ἀσώματον, τουτὶ γὰρ
πάλιν εἰ μὲν στιγμή ἐστι, τῷ ἀμερὴς εἶναι καὶ κατὰ [*] [*]

ἄλλως τε τὸ τέμνον πέρας ἤτοι
μέσον τῶν δυοῖν στιγμῶν πῖπτον διχοτομεῖ τὴν γραμμήν,
ἢ κατὰ μέσου φερόμενον τοῦ σημείου. ἀλλὰ τὸ μὲν κατὰ μέσου φέρεσθαι τοῦ σημείου τῶν ἀδυνάτων· δεήσει γάρ,
ὡς πρότερον (§ 111 sq.) ἐλέγομεν, τὸ καθʼ οὗ φέρεται με- ριστὸν εἶναι καὶ μηκέτι ἀδιάστατον τυγχάνειν.

μεταξὺ δὲ τῶν δυοῖν στιγμῶν φέρεσθαι πολλῷ ἀλογώτερον. πρῶτον
μὲν γὰρ οὐδὲν δύναται μεταξὺ συνεχείας μέσον πεσεῖν
πέρας· εἶτα κἂν δοθῇ τὸ τοιοῦτον ὡς δυνατόν, ὀφείλει μετακινεῖν τὰ ὧν μεταξὺ τάσσεται, εἶπερ ἐστὶ συνεχῆ· ταῦτα δʼ ἐστὶν ἀκίνητα. τοίνυν ἄπορος καὶ ὁ περὶ τοῦ τέμνοντός ἐστι λόγος.

οὐ μὴν ἀλλὰ κἂν δῶμεν αὐ-
τοῖς τὰς ἀφαιρέσεις ποιεῖσθαι ἐπὶ τῶν αἰσθητῶν τούτων
γραμμῶν, οὐ δυνήσονται οὐδʼ οὕτως εὐοδῆσαι. γὰρ ἀφʼ ὅλης τῆς γραμμῆς ἡ ἀφαίρεσις γενήσεται ἀπὸ μέρους, καὶ τὸ ἀφαιρούμενον ἴσον ἀπὸ ἴσου ἢ ἄνισον ἀπὸ ἀνίσου [ἢ ἐναλλὰξ] γενήσεται· οὐδὲν δὲ τούτων ἐστὶν εὔπορον,
ὡς ἐν τῷ Πρὸς τοὺς γραμματικοὺς (M I 162) καὶ ἐν τῷ
Πρὸς τοὺς φυσικοὺς (M IX 279 et 294) ὑπομνήματι παρ- εστήσαμεν· οὐκ ἄρα δυνατόν ἐστι τοῖς γεωμέτραις ἀφαι- ρεῖν τι καὶ τέμνειν ἀπὸ γραμμῆς.

Ἐπειδὴ τοῦ ποσοῦ τὸ μέν ἐστιν ἐν τοῖς συνεχέσι σώ-
μασιν, ὃ δὴ μέγεθος καλεῖται, περὶ ὅ ἐστι μάλιστα ἡ γεωμετρία, τὸ δὲ ἐν διεστῶσιν, ὅπερ ἀριθμὸς καθέστη- κεν, περὶ ὃν ἡ ἀριθμητικὴ καταγίνεται, σκοπῶμεν ἀπὸ τῶν γεωμετρικῶν τε ἀρχῶν καὶ θεωρημάτων μετελθόν-
τες καὶ τὰ περὶ ἀριθμοῦ τούτου γὰρ ἀναιρεθέντος οὐδʼ
ἡ περὶ αὐτὸν συνισταμένη γενήσεται τέχνη.