the condition (1) I was talking about

(1)  

In some formal systems (1) leads to a hierarchy of conditions

(2)    

...

(3)

  

that in *some* sense are allow for a relatively increasing likelihood of existence. I don't know if there's a strongest set of such conditions for a given axiom system.