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

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?