Cantor's diagonal argument -- proof that the Real numbers are more infinite than the Integers (or Naturals). Slightly more mind-blowing than the algebraics are

Cantor's diagonal argument -- proof that the Real numbers are more infinite than the Integers (or Naturals). Slightly more mind-blowing than the algebraics are no bigger than the naturals.