自然数一定是正数,关于自然数一定是正数的所有信息