- derjenige indirekte BEWEIS, der einen Satz durch Widerlegung seines kontradiktorischen Gegenteils erweist - das tertium non datur