Actually, there are infinite types of infinity
If you take a set, and make the power set, you get a strictly bigger set, even if they are infinite.
That's known as the Cantor theorem
Cantor's theorem - Wikipedia
