аз санды жүйеде қорытынды ережесінде әдетте логикалық аксиомалар саны өте көп болады және керісінше