正整数是否包括零