自然数包括0吗?非负整数集一般用什么符号表示