Daher wiederum die Frage: Was ist das für eine Tatsache, daß etwas ein Beweis eines Satzes ist?