6.1265 Immer kann man die Logik so auffassen, dass jeder Satz sein eigener Beweis ist.