Nach heutigen Massstäben muss ein mathematischer Beweis formalisierbar sein. Natürlich gab und gibt man sich oft damit zufrieden, ihn plausibel zu machen. Was man dazu "braucht", ist eine didaktische, soziologische und psychologische Frage (meist genügt die Autorität des Mathe-Lehrers ;-)).???? -- tsor 22:21, 10. Dez 2003 (CET)