бұл логикалар предикатындағы негізгі қорытынды жүйесі мұнда қорытынды ережесі мен логикалық аксиомалар бір бүтін топ ретінде функцияланады