Describir: What Absurdity Is Not in Natural Deduction: Structural Approach and the Empty Set.