<p>
</p>
<p>Think about the set of natural numbers 1,2,3,4,5,6… and just the even numbers 2,4,6,8,10…</p>
<p>How can you transform the first set into the second set. Easy, with the function f(x)=2x where the domain is the set of natural numbers. </p>
<p>Now try to think of ANY function that matches 1,2,3,4,5,6… to all of the real positive numbers. Hell, try to think of ANY function that matches 1,2,3,4,5,6… to all of the numbers from 0 to 1. </p>
<p>Don’t try for too long, because it can’t be done. Your trying to match all of the numbers in 1,2,3,4,… to an infinite set that is bigger (the set of all real numbers from 0 to 1 or from 0 to infinity). </p>
<p>Both sets are infinite in size, but clearly there is something strange about them because you can not create a bijective function between them. But look at the set all number 0 to 1 and all numbers from 0 to infinity. Can you create a function between those sets? Yes you can (I’ll let you figure it out). Thus, the set of numbers from 0 to 1 and the set of numbers 0 to infinity ARE the same size. </p>
<p>Now to take it a step further</p>
<p>Consider the set {1,2}. Take the set of all sets of {1,2} which would be {{1}, {2}, {1,2}, {empty set}}. Notice how that set has more elements in it than the set {1,2}. In fact, this is a theorem. If you take the set of all sets of any set, that set will indeed be larger. I won’t prove it, you can find vast proofs online. </p>
<p>Tell me, if you took the set of all sets of </p>
<p>{1,2,3,4,…} what would you get?</p>
<p>How about the set of all sets of the all real numbers between 0 and 1? </p>
<p>The size of the set of all number between 0 and 1 is an infinity bigger than the the size of the set of all positive natural numbers, we already established that since we can’t create a bijective function between them. But what happens when you take the set of all sets of the numbers between 0 and 1? You clearly have to have a bigger set because of the theorem. What size of infinity is that? How about the set of all sets of all sets of the numbers between 0 and 1? And so on ad infinitum…</p>
<p>The notion of a 1 to 1 and onto function between two sets is really at the heart of the theory. A bijective function is essentially just a machine that pairs one set of numbers with another set of numbers. If you put in the entire set of numbers into any such machine you can think of but can’t produce every single element of a set you’re trying to match, then you have two different size sets.</p>