Ein
Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw. der Unrichtigkeit einer Aussage aus einer Menge von
Axiomen, die als wahr vorausgesetzt werden, und anderen
Aussagen, die bereits bewiesen sind. Um den Beweis klar vom gültigen Schluss zu unterscheiden, spricht man auch vom
axiomatischen Beweis.