At least in the Japanese, it isn't really a double negative. It's just that it's used in the negative so much that everyone has come to assume 아무도 is negative even without the negation. You look at how the Korean is structured and it appears to be the same. Only someone older would know about this though, and there aren't many of them left . . .