Теория доказательств использует следующие принципы. Теория формальных доказательств. Теория оценки доказательств. Теория формальной оценки доказательств