====== APAGOGISCH ======
auch indirekter Beweis\\
Beweisstil: wenn aus einem [[Satz]] zwingend Falsches folgt, ist der Satz falsch\\
- tertium non datur: wenn ein Satz A wahr ist, muß non-A falsch sein