定義された自然数