Beweis

RayDeemer schrieb am 6.3. 2004 um 05:57:31 Uhr über Beweis

> Beweise, dass ein Beweis bewiesen werden kann. Erkläre danach das Ergebnis und beweise dessen Richtigkeit.

Das geht übrigens wirklich...ist schon fantastisch, was die moderne Logik und Mathematik so alles kann. :-D
Übrigens kann man manchen »Paradoxa« (etwa, den Beweis des Beweises des Beweises...etc, ad infinitum) einfach umgehen, indem man eine Eleminierungsregel einführt. Demnach ist der Beweis eines Beweises von p einfach ein Beweis von p.