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