超自然数自然数の一般化