Es gibt eben in der Mathematik sehr Verschiedenes, was alles Beweis genannt wird und diese Verschiedenheiten sind logischer. Was also ‘Beweis’ genannt wird, hat nicht mehr miteinander zu tun, als was ‘Zahl’ genannt wird.