 One important point to note is that no definition of the notion of “positive property” is supplied with the proof. At most, the various axioms which involve this concept can be taken to provide a partial implicit definition. If we suppose that the “positive properties” form a set, then the axioms provide us with the following information about this set: