§63.1Fr. 63
Θ. μὲν καὶ Εὔδημος ἁπλούστερον ἔδειξαν τὴν καθόλου ἀποφατικὴν ἀντιστρέφουσαν ἑαυτῇ·
テオプラストスとエウデモスは、全称否定命題がそれ自体に換位することを、より単純な方法で示した。
τὴν γὰρ καθόλου ἀποφατικὴν ὠνόμασαν καθόλου στερητικὴν, τὴν δὲ δεῖξιν οὕτως ποιοῦνται.
というのも、彼らは全称否定命題を全称剥奪命題と呼び、証明を次のように行うからである。
Κείσθω τὸ Α κατὰ μηδενὸς τοῦ Β·
「AがどのBにも属さないと仮定せよ。
εἰ δὲ κατὰ μηδενὸς ἀπέζευκται·
もしどのBからも切り離されているならば、BもまたすべてのAから切り離されている。
καὶ τὸ Β ἄρα παντὸς ἀπέζευκται τοῦ Α, εἰ δὲ τοῦτο κατʼ οὐδενὸς αὐτοῦ.
そしてもしそうなら、Bはそれのどれにも属さない。 」