Part II, Chapter 17: Of the Conversion of Propositions, and first, of the Nature of Affirmation
Axiom 3
The attribute of an affirmative proposition is not affirmed according to its whole extension, if it is in itself greater than that of the subject. The proof of this has been already given.
