Using induction to prove a description of a formal language
158728
Using induction for an easy proof for formal languages
113065
Proving equivalences of statements equivalent to AC
91698
Proofs of consistency for two formal systems
140682
Proving a property of a Logic Formal Language
61602
Binary strings (words) proof
62747
Use induction to prove a product of sums of squares is a sum of squares
96025
Showing there is only one isomorphism between well ordered sets using transfinite induction
101899
Proof By Induction of a Sum
134319
When induction proofs need a choice function
106183
Proof by Induction: Alternating Sum of Fibonacci Numbers
25496
Avoiding proof by induction
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)
35168
How to use combinatorial proof instead of induction?
107810
Induction with Binomial Coefficients
61635
Proving AM-GM with induction
148239
natural deduction proof with De Morgan's laws
115435
Induction: prove using congruences