Hur används ordet induktionsbevis?
Rekursion används inom matematisk bevisföring i induktionsbevis.
Guldin gav emellertid endast ett ofullständigt induktionsbevis för denna sats.
Andra områden som tas upp är kombinatorik, induktionsbevis och algoritmer.
Omvänt kan man från antagandet att induktionsbevis är tillåtna visa att välordningsaxiomet gäller för de positiva heltalen.
En del av dessa är praktiskt användbara, genom att de innehåller intuitiva härledningsregler medan andra (till exempel Hilberts satslogiksystem) är formellt tunga, men lämpar sig bättre vid till exempel induktionsbevis över härledningars längd.
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.