– shınlıǵı yamasa jalǵanlıǵı haqqında tastıyıqlaw múmkin bolǵan tábiyǵıy yamasa formalastırılǵan tildegi gáp. Aytımlar hám olar ústindegi ámeller matematikalıq logikadaǵı tiykarǵı úyreniw predmetin quraydı. Aytımlar $p,q,r, \ldots$ háripler menen belgilenedi.