Исторические системы: Формальная оценка доказательств 1832 года