*Columbo voice* Well, that all sounds good. A finite number of primes. That'll look good on the report. Uh, just one more thing, sir, before I go. What if you multiplied all of them together and added one? What would that be divisible by, sir?
"Reductio ad absurdum" or "proof by Columbo"
@eulersposter *Columbo voice* Well, that all sounds good. The reals are countable. That'll look good on the report. Uh, just one more thing, sir, before I go. What if you defined each digit of the decimal representation of a real to not be equal to the same digit for the nth real? What natural number would that correspond to, sir?