[Emi]

Also, alle Möglichkeiten durchzugehen ist definitiv ein mathematischer Beweis, das machen wir auch regelmäßig in Algebra-Vorlesungen (natürlich oft in verkürzter Form, da werden dann nur ein paar aussagekräftige Fälle angeschrieben. Hier angebrachtes Beispiel: Alle Symmetrien eines Würfels für irgendeine Aussage durchgehen.)
Klar kann man argumentieren, dass beim Arbeiten mit Computern Fehler auftreten können, aber genauso kann es passieren, dass bei einem komplett analogen Beweis Fehler passieren (und die niemandem auffallen). Das geht dann eher die Philosophen was an, ob man überhaupt Aussagen beweisen kann.