– ayırım aytımlarda ózgeriwshiler qatnasıp, sol ózgeriwshiler ornına anıq mánislerdi qoysaq, shın-jalǵanlıǵı anıq bolǵan aytım payda boladı. Bunday aytım predikat delinedi. Predikatta bir yamasa birneshe ózgeriwshi qatnasıwı múmkin, qatnasqan ózgeriwshilerge qarap predikat $P(x), P(x, y), P(x, y, z), \ldots$ kórinisinde belgilenedi. Predikatlar menen birge $\forall$ (ulıwmalıq kvantorı, ``barlıq ... lar ushın'') hám $\exists$ (bar bolıw kvantorı, ``sonday ... bar'') arnawlı belgilerden paydalanıp, jańa aytımlar payda etiledi.