La incorporación de la conjetura y el contraejemplo