In his ontological proof, Gödel states (Axiom 1)
If a property is positive, then its negation is not positive.
What does he meant by this term? I have come across authors who replace this notion of positiveness with that of truth, but I doubt very much that this is what Gödel originally meant. Are there any sources on the subject?