There are multiple ways this has been done over many years.

You need the Schroder-Bernstein_theorem

If is a set, then is the set of all functions .

Then using the Characteristic function you can show that .

Working with functions, we can show that .

Now there is a huge amount of work to be done there.This is not an easy problem.