a formal series of statements showing that if one thing is true something else necessarily follows from it

a means of proving a theorem by showing that if it is true of any particular case, it is true of the next case in a series, and then showing that it is indeed true in one particular case.