Can someone explain the reasoning behind Cantor's diagonal argument?
6681
How does Cantor's diagonal argument work?
151686
A proof that the Cantor set is Perfect
35370
Why is this proposition provable and its converse not?
126074
Proof of the irrationality of $\sqrt{3}$ - logic question
116135
A paradox related to computable reals?
48030
Axiom of Choice: Where does my argument for proving the axiom of choice fail? Help me understand why this is an axiom, and not a theorem.
36660
Question about the proof of Ramsey's Theorem
137990
Justify each step in the following proof of Proposition 3.9 (a). I like to know if I'm in the right track and I'm also missing a few of them
20706
Non-existence of a Surjective Function from a Set to Its Subsets (Cantor's theorem)
38286
Proving the Cantor Pairing Function Bijective
65895
Irrationality proofs not by contradiction
93557
Intuitively, why does (B → S) ≡ (¬B ∨ S)?
122226
Incorrect logic in popular proof of the irrationality of $\sqrt2$?
146062
A "Cantor-Schroder-Bernstein" theorem for partially-ordered-sets
23608
Prove the set of all infinite binary sequences is uncountable by using Cantor's theorem.
47653
Cantor diagonalization and fundamental theorem
31479
homeomorphism of cantor set extends to the plane?