Axiom 1: If a property is positive, then its negation is not positive.
Axiom 1: If a property is positive, then its negation is not positive.
公理1:一个性质是肯定的当且仅当它的否定是否定的.
Axiom 1: If a property is positive, then its negation is not positive.
公理1:一个性质是肯定的当且仅当它的否定是否定的.