One way of proving a statement about the objects of S is to assume the existence of a counterexample and deduce a contradiction, thereby proving the contrapositive of the original statement.
Ένας τρόπος για να αποδειχθεί μια πρόταση σχετικά με τα αντικείμενα του S είναι να υποθέσουμε την ύπαρξη ενός αντιπαραδείγματος και να αναχθούμε σε μια αντίφαση, αποδεικνύοντας έτσι την άρνηση της αρχικής πρότασης.