Gibt es in der Mathematik einen Unterschied zwischen einer Herleitung und einem Beweis?
Gibt es in der Mathematik einen Unterschied zwischen einer Herleitung und einem Beweis? Oder anders: Wenn für eine Aussage A gezeigt werden soll, dass sie unter gegebenen Umständen immer wahre Aussagen liefert, d.h. sie soll bewiesen werden - ist das äquivalent zu einer Herleitung (unter der Annahme, dass die Herleitung richtig sei)?