1под множеством свободных термов мы будем понимать множество термов определенное с точностью до переименования пропозициональных символов