(индукция аксиомаһы) әгәр ниндәй ҙә булһа  һөйләме (әйтеү)  натураль һаны өсөн иҫбатланһа (индукция базаһы) һәм ул һөйләмдең  натураль һаны өсөн дөрөҫ тип уйлағандан, уның  артынан килеүсе натураль һан өсөн дә дөрөҫ булыуы килеп сыҡһа (индукцион фараз), ул саҡта был һөйләм бөтә натураль һандар өсөн дә дөрөҫ (xa0— параметры  натураль һаны булған ниндәйҙер бер урынлы (унар) предикат булһын. Әгәр  һәм  булһа, ул саҡта ).