Der rekursive Beweis & der Begriff des Satzes. Hat der Beweis einen Satz als wahr erwiesen & einen andern || sein Gegenteil als falsch?