Inwiefern ist ein Beweis durch reductio ad absurdum eine Analyse des zu bevei zu beweisenden Satzes? Der Beweis des Satzes p nimmt ~p an & zeigt was daraus folgt und daß das etwas unmögliches ist. So analysiert er ~p und damit p.