Иҫәпләнмәле функциялар класы аксиомалар системаһы нигеҙендә ниндәйҙер аксиоматик теорияны төҙөүҙе хәтерләткән һында яҙыла. Башта иҫәпләүе күҙгә күренеп торған иң ябай функциялар һайлап алына. Аҙаҡ булған функциялар нигеҙендә яңы функцияларҙы төҙөү ҡағиҙәләре (операторҙар) әйтеп бирелә. Кәрәкле функциялар класы иң ябай функцияларҙан операторҙарҙы ҡулланып алып була торған бөтә функцияларҙан тора.