Unter einem strengen Beweis (= Bw.) verstand man in den mathematischen Wissenschaften – und namentlich in der euklidischen Tradition der Geometrie – die Ableitung eines Satzes aus Axiomen und bereits bewiesenen Sätzen durch eine lückenlose und vollständige Kette von rein logischen Schlussfolgerungen ohne Rückgriff auf die Anschauung (synthetischer Bw.). Mit dem Begriff der S. bezeichnete man zunächst das Ideal, jeden math. Bw. in diesem euklidischen Stil zu führen, der auch in nicht-math. Bereichen als Vorbild wirkte (More geometrico). Ab dem 19. Jh. wurde das Ideal der …