: metode til at vise at en matematisk sætning er rigtig for
alle heltallige værdier af den ubekendte størrelse n. Det vises at den gælder
for n=1. Dernæst, at hvis den gælder for et vilkårligt tal n, da gælder den
også for det næstfølgende tal n + 1. Det kan nu sluttes, da den gælder for n = 1,
at så gælder den også for 1+1 = 2 osv.
........................................................................................................................