My current favourite paradox

First, if set theory is consistent, then it has a countable model.

On the other hand, it is easy to prove Cantor's theorem, which tells us (amongst other things) that the power set of a countably infinite set is uncountable.

Why isn't this a contradiction? (Resolving this by claiming that mathematics is inconsistent doesn't count.)