Урта быуаттарҙа математика үҫешеү һәм схоластиканан логикаға таяныуға күсеү менән әкренләп формаль иҫбатлау тураһында төшөнсә булдырыла һәм уның ысулдары үҫешә. Математик индукция ысулын Герсонид нигеҙләгән һәм практикаға индергән тип иҫәпләнә. XVI быуаттан башлап боронғо грек математиктарының иҫбатлауҙарын тәнҡит күҙлегенән аңларға тырышыу осрай, мәҫәлән Пелетье, Евклидтың «Башланғыстарына» аңлатма биреп, өсмөйөштәр тигеҙлеген күсеш ярҙамында иҫбатлауҙы тәнҡитләй.