Типы и характеристики доказательств в различных областях