Zwei Beweise “desselben Satzes” können nur unabhängig voneinander sein, wenn sie
diesen
den
Satz niemals erreichen. (Denn sonst kommunizieren sie ja miteinander.) Wenn sie also im strengen Sinn keine Beweise dieses Satzes sind.