The diagonal argument, introduced by Cantor in 1891, proves some infinities are strictly larger than others by constructing an object that evades any proposed complete list or mapping. This same self-referential trick underlies Cantor's theorem, Turing's halting problem, and Gödel's incompleteness theorem—one idea unifying set theory, computability, and logic.