бұл жүйеде логикалық аксиомалар формалданған ал логикалық істер орындалмайды олармен бірге қарама қарсы қорытындымен сәйкес келетін