[mattxxx]

Yea, but, I mean, the isn't the diagonal argument just an extension of proof-by-contradiction into countable sets?

The same way that induction is the extension of syllogism into countable sets?