қорытынды ережесінің көп саны қолданылады бұл бөлімде және әрі қарай әріптерін формулаларды көрсету үшін ал аксиомасы