自然数集的符号是 自然数集用什么符号表示