Friday, December 16, 2011

the condition (1) I was talking about


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

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. 

No comments:

Post a Comment