自然数の整列性