Тема обращения:
Описание проблемы:
Введите почтовый адрес:
Предложена полная аксиоматизация свойства точности модели логики свидетельств.