my goodness! "positive property" is defined axiomatically. there is no "presupposition" involved. for clarity: definition. the set of all positive properties on the universe of discourse is defined inductively by three axioms. 1. exactly one of a property or its complement is positive. 2. any property entailed by a positive property is positive. 3. the conjunction of any collection of positive properties is positive.
United States