En "Pruebas y refutraciones", Lakatos dio varias reglas básicas para encontrar pruebas y contraejemplos a las conjeturas.