"Система формальных доказательств в Средние века"доклад на конференции