Canter’s diagonalization proof seems like obvious broken logic to me. What is stopping me from lining up all zero-padded natural numbers and showing there must be more natural numbers than natural numbers? I came across a video from a respected youtuber talking about it and recall being taught it in school.
Video for context: https://www.youtube.com/watch?v=HeQX2HjkcNo&t=269s
Even if you want to say zero padding is somehow not valid, you could just remove the '0.' from the real numbers in his example and they should be unique natural numbers.