Der Beweis soll nicht nur von der Wahrheit des Bewiesenen überzeugen, sondern soll auch den Zusammenhang der Wahrheiten untereinander aufdecken. Darum hat schon Euklid Wahrheiten bewiesen, die keines Beweises bedürftig erscheinen, weil sie ohne dies einleuchten. (Gottlob Frege)