А ( e хА ( х ) ), где-нибудь А ( e хА ( х ) ) есть итог замены всякого раздольного вхождения попеременной х в формуле А ( х ) на речение e хА ( х ). Лишить задачу формулировки явного правила удаления квантора существования можно с подмогой e - символа. Приобретем правило $ хА ( х )? Подобное правило, включая сообщенное выше о семантике речений с e - символом, восстанавливает касательство логического следования.