О проблеме полноты в исчислении высказыванийдоклад на конференции