When trying to talk about specific results, I really like talking about Cantor's Theorem (or at least, the special case of $2^{\aleph_0}$), and then, if they're willing to accept that, talk about ordinals a bit. If the audience isn't taking it, I'll generally talk about some arbitrary graph problem that comes to my head.