Визуализация дедуктивных доказательств в разных областях