Piotr Rudnicki wrote:
> Hi:
>
> Wouldn't it be better to use the attributes empty and positive instead of predicates?
>
> PR
>
Definitely. Only I prefer the synonym 'zero' in this context. Then with proper
registrations
'non zero natural number'
it is the same as
'positive natural number'
and the first may be better. But what about
'positive integer number' ?
Andrzej