超自然數_(hypernatural_number)