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