Иҫбатлауҙы төҙөгәндә ҡулланылған төп алымдар: тура иҫбатлау, математик индукция һәм уның дөйөмләштереүҙәре, киреһенән иҫбатлау, контрапозиция, төҙөү, берәмтекләп ҡарау, биекция урынлаштырыу, ике төрлө иҫәп; ҡушымталарҙа математик иҫбатлау сифатында рәсми иҫбатлау бирмәгән, ләкин һөҙөмтәне практик ҡулланыуҙы тәьмин итеүсе ысулдар — ихтималлыҡ, статистик, яҡынса йәлеп ителә. Математиканың бүлегенә, ҡулланылған формализмға йәки математик мәктәпкә бәйле рәүештә бөтә ысулдар ҙа ҡаршылыҡһыҙ ҡабул ителә алмай, атап әйткәндә, конструктив иҫбатлау етди сикләүҙәр талап итә.