> Not that this necessarily makes the definition any easier, Goedel > had quite a struggle formulating his incompleteness theorems. > > Vaughan Pratt Can you be more specific?