Мулоҳазалар ҳисоби аксиоматик назария бûлиб МҲ нинг аксиомаларни қаноатлантириши керак, шу белгиларнинг кетма-кетлигидан тузилган сûз – формула тушунчаси ва ниҳоят, келтириб чиқарилувчи формулалар таърифланади