§63.1Fr. 63
Θ. μὲν καὶ Εὔδημος ἁπλούστερον ἔδειξαν τὴν καθόλου ἀποφατικὴν ἀντιστρέφουσαν ἑαυτῇ· τὴν γὰρ καθόλου ἀποφατικὴν ὠνόμασαν καθόλου στερητικὴν, τὴν δὲ δεῖξιν οὕτως ποιοῦνται. Κείσθω τὸ Α κατὰ μηδενὸς τοῦ Β· εἰ δὲ κατὰ μηδενὸς ἀπέζευκται·
泰奥弗拉斯托斯和欧德谟以更简单的方式证明了全称否定命题可以自身换位；因为他们把全称否定命题称为全称剥夺命题，并且如下进行证明：“设A不属于任何B；如果它与任何B相分离，那么B也与所有A相分离，而如果这是如此，它就不属于它的任何一个。
καὶ τὸ Β ἄρα παντὸς ἀπέζευκται τοῦ Α, εἰ δὲ τοῦτο κατʼ οὐδενὸς αὐτοῦ.
”