Cantor had to show that there was no 1–1 correspondence between the sets and —not just that he couldn’t find one. The only logical approach to such negative statements was a proof by contradiction. His strategy would be to assume that a 1–1 correspondence had been made, and then to reduce this assumption, as they dismissively say, ad absurdum.
