It would have been nice if they mentioned that as a result of Cantor's diagonalization argument (the argument outlined in the video) that we call sets where the lines can be drawn "countable" and those where the lines can't be drawn "uncountable." It was a pretty good introduction nonetheless.