Beweisverfahren
Beweisverfahren bezeichnet das Verfahren, mit dem behauptete Tatsachen oder Sätze als wahr erwiesen werden. In der Mathematik und formalen Logik bezieht es sich auf die Methoden, mit denen innerhalb eines Axiomensystems Sätze bewiesen werden. Zu den klassischen Beweisverfahren gehören direkter Beweis, Beweis durch Kontraposition, Beweis durch Widerspruch (Reduktion auf Widerspruch) und Beweis durch Induktion (normal oder stark). Weitere Methoden sind der Beweis durch Fallunterscheidung, der Beweis durch Konstruktion (konstruktiver Beweis) sowie der nicht-konstruktive bzw. probabilistische Beweis. Ein Beweis muss logisch gültig sein und aus den Annahmen folgen; die Art des Beweises spiegelt oft die Struktur der zu beweisenden Behauptung wider.
Im Rechtswesen bezeichnet das Beweisverfahren den Prozess der Feststellung tatsächlicher Voraussetzungen eines Rechtsfalls. Beweise können Beweismittel