Die nichtexistenz von Dingen kann man nicht Beweisen. Du verdrehst die Logik wer dieExistenz von etwas als Bestandteil der REalität wahrnimmt, ist in derBeweispflicht.
Anbei beweise das es keine Elefanten in Kühlschränkengibt.
Allgemein ist ein Beweis die gültige Herleitung der Richtigkeit(Verifikation) oder Unrichtigkeit (Falsifikation) einer Aussage aus wahren Prämissen, dasheißt ein förmlicher, sich nur auf als wahr anerkannte Prämissen stützender und zumindestvom Anspruch her über jeden Zweifel erhabener Nachweis dafür, dass die zu beweisendeAussage zutrifft.
Modern wird Logik überwiegend als formale Logik betrieben. Hierist ein Beweis eine nach festgelegten Regeln durchgeführte Ableitung (Herleitung), in dereine zu beweisende Behauptung mit Hilfe von Schlussregeln – gegebenenfalls aus Axiomen –gewonnen wird (im Sinn der obigen allgemeinen Definition sind die Axiome zusätzliche alswahr anerkannte Prämissen). Eine auf diese Weise bewiesene Aussage wird auch Satz oderTheorem genannt, man sagt: Die Aussage ist syntaktisch gültig. Axiome und Schlussregelnwerden üblicherweise formal durch einen Kalkül festgelegt.
Technisch ist eszulässig, in einer logischen Herleitung auch Annahmen zu verwenden. Der hergeleitete Satzist dann kein Theorem, sondern folgt aus den verwendeten Annahmen. Man nennt die Annahmenin einer solchen Herleitung Prämissen, die hergeleitete Aussage Konklusion. EineAbleitung, bei der ein Satz aus Annahmen hergeleitet wird, wird oftmals im strengen Sinnzwar nicht Beweis, sondern einfach nur Herleitung genannt; es hat sich aber eingebürgert,die Begriffe Beweis und Herleitung austauschbar zu verwenden. Man sagt dann, man habebewiesen, dass aus den Prämissen die Konklusionfolgt.
Wikipedia: Beweis (Logik)#Beweis in der formalen Logik
