Д.С. Шамканов. О глобальной окрестностной полноте логики доказуемости GLP