Full Idea
A proof by induction starts with a 'base case', usually that an atomic formula has some property. It then assumes an 'inductive hypothesis', that the property is true up to a certain case. The 'inductive step' then says it will be true for the next case.
Gist of Idea
Induction has a 'base case', then an 'inductive hypothesis', and then the 'inductive step'
Source
Theodore Sider (Logic for Philosophy [2010], 2.7)
Book Reference
Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.53
A Reaction
[compressed]