Inwiefern ist ein Beweis durch reductio ad absurdum eine Analyse des zu 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.