Yes, and to clarify what I predict might be a point of contention about the necessity of "contradiction" in Cantor's argument, some of the comments in this thread might be helpful: https://reddit.com/r/math/comments/70xeon/why_is_cantors_dia...