егер математикалық логиканың аксиомасынан тұрса және қарама-қайшылықсыз болса онда еркін элементтері жоқ және жоғарыда келтірілген екі өрнек те