I encountered Cantor’s diagonal argument in another proof a few months ago. The goal of the proof was to show that if you have a bunch of sequences that are of a certain type, you can find a ...