Examples of "Contradictory Subset" proofs – math.stackexchange.com
poka luka wan
I noticed that certain proofs for Cantor's theorem and $\not\exists S, P(S)\subset S$ are incredibly similar, and I made a general outline for proofs of this form, that I've been giving many names ...