Famous cases when proving a generalization is easier than proving a special case
1269
Problems that become easier in a more general form
69043
The equivalence relation generated by a relation
3663
Finding counterexamples in elementary set theory.
72371
Proof of Strong Induction Using Well-Ordering Principle
9204
Counterexamples to the avoidance lemma for arbitrary ideals
114773
counterexamples on modules
17073
Using proof by contradiction vs proof of the contrapositive
141814
Proofs using theorems instead of axioms
46430
A simple decision problem whose decidability is not known
48761
How can know if a proof technique can actually prove something? Specifically, induction
76635
Proof through combinatorial argument
9968
First-order logic advantage over second-order logic
62936
Proving equivalencies of two versions of the Axiom of Choice
20658
Difficulty in finding a counterexample
134319
When induction proofs need a choice function
96025
Showing there is only one isomorphism between well ordered sets using transfinite induction
20556
Isomorphism between two models of Hilbert's Axioms with different notions of congruence