"In re mathematica ars proponendi quaestionem pluris facienda est quam solvendi." (Georg Cantor)

 
Tänään aamuröökiä poltellessani ja samalla kuunnellen Markku Suomisen Sadetta mieleeni tulvahti Georg Cantorin diagonaaliargumentti. Kuinka nerokas idea se onkaan!
 
Pystymme laittamaan äärettömän määrän lukuja allekkain, mutta pienellä operaatiolla, joka hyödyntää arabialaisten numeroiden paikkajärjestelmää, voimme lävistämällä jokaisen allekkaisen luvun muodostaa luvun, jota ei ole tässä allekkain olevassa äärettömässä lukusarjassa! Luin tästä jo kai vuosikymmeniä sitten, mutta tämä nerokkuus hätkähdyttää minua edelleen.