#reductio ad absurdum #proof by contradiction #logical fallacy #assumption #formal logic #inconsistency #falsum #implies contradiction