After covering some basics of set theory, Russell's Paradox, and the general idea of proof by contradiction, a proof is presented that some infinite sets are -- in a particular sense -- larger than others. The proof requires a generalization of the concept of "bigger," the motivation for and construction of which is established. (less info)