Proved by Cantor diagonal argument. Suppose that mapping exists and construct an element that is not in the mapping