Математик индукция ысулы объекттарҙың теләһә ниндәй иҫәпле йыйылмаһы өсөн тәбиғи рәүештә ҡулланылырға мөмкин, иҫбатлауҙарҙың классик, шулай уҡ интуицион һәм конструктив системаларында ышаныслы һәм законлы тип иҫәпләнә. Ысул Пеано  арифметикаһы аксиомалары системаһында аксиомалаштырыла.