Adversus Mathematicos (3.88-3.92)

καὶ εἰ μὲν μένει ἡ ἀρχῆ-

θεν αὐτῶν φύσις, ἐπεὶ ἀσώματά ἐστιν, οὐδὲ διάφορον ποιήσει σῶμα, ἀλλὰ καὶ μετὰ τὴν σύνοδον ἀσώματα με- νεῖ, τὴν φύσιν ὄντα ἀσώματα.

εἰ δὲ συνελθόντα μετα- βάλλει εἰς τὴν σωματότητα, ἐπεὶ τὸ ἐπιδεχόμενον μετα-
βολὴν εὐθέως ἐστὶ σῶμα, ἕκαστον τούτων καὶ πρὶν τῆς εἰς ταὐτὸ συνόδου ἔσται σῶμα, οὕτω τε καὶ τὸ ἀσώμα-
τον γενήσεται σῶμα. ὥσπερ τε τὸ σῶμα μεταβάλλον ἄλ- λην μὲν ἀντʼ ἄλλης ἔχει ποιότητα, μένει δὲ οὐδὲν ἧσσον σῶμα, οἷον τὸ λευκόν, ἵνα μέλαν γένηται, καὶ τὸ γλυκύ,
ἵνα πικρόν, καὶ ὁ οἶνος, ἵνα ὄξος, καὶ ὁ μόλιβδος, ἵνα [*] [*]

οὐκ ἐκβαίνει δὲ τοῦ σώματα εἶναι,
ἀλλὰ καὶ τὸ μέλαν, ὅτε ἐκ λευκοῦ γέγονε μέλαν, καὶ τὸ πικρόν, ὅτε ἐκ τοῦ γλυκέος γέγονε πικρόν, καὶ τὸ ὄξος, ὅτε ἐκ τοῦ οἴνου γέγονεν ὄξος, μένει σώματα, οὕτω καὶ
ταῦτα, εἴπερ μεταβάλλει εἰς σώματα, ἄλλα μὲν ἀντʼ ἄλ-
λων ἔσται σώματα, σώματα δὲ οὐδὲν ἧττον οὐ γὰρ ἐκβήσεται τὴν ἰδίαν φύσιν. εἰ οὖν οὔτε πρὶν τῆς συνελεύ- σεως τούτων ἔστι νοῆσαι τὸ σῶμα οὔτε μετὰ τὴν συν- έλευσιν αὐτῶν, παρὰ δὲ ταῦτα οὐκ ἔστιν ἄλλως ἐπινοῆ-
σαι, οὐδέν ἐστι σῶμα.

πρὸς δὲ τούτοις, εἰ μηδέν ἐστι
μῆκος μηδὲ πλάτος μηδὲ βάθος, οὐδὲ τὸ κατὰ μετουσίαν τούτων νοούμενον ἔσται σῶμα οὐχὶ δέ γε μῆκος ἔστιν οὐδέ πλάτος οὐδὲ βάθος, ὡς διὰ τῶν ἔμπροσθεν παρεμυ- θησάμεθα οὐδὲ τὸ κατὰ μετουσίαν ἄρα τούτων νοούμε-
νον ἔσται σῶμα.

Τὰς μὲν οὖν γεωμετρικὰς ἀρχὰς οὕτω συμβέβηκεν ἀν- υποστάτους εἶναι τούτων δὲ ἀναιρουμένων οὐδὲ ἄλλο τι γεωμετρικὸν θεώρημα συστῆναι δύναται. ὁποῖον γὰρ ἂν ᾖ τοῦτο, γραμμικῶς ὀφείλει ἀποδείκνυσθαι, ἐδείξαμεν
δὲ ἡμεῖς ὅτι οὐδέν ἐστιν ἡ γενικὴ γραμμή, ᾧ ἀκολουθεῖ
μηδὲ τῶν ἐπʼ εἴδοὺς τινὰ ὑπάρχειν, ἐάν τε εὐθεῖάν τις ταύτην ὑποτίθηται ἐάν τε κεκλασμένην ἐάν τε ἄλλως πως ἔχουσαν.