Una forma de probar una afirmación sobre los objetos de "S" es suponer la existencia de un contraejemplo y deducir una contradicción, probando de ese modo la contrapuesta de la afirmación original.