自然数の整列原理