De igual manera que la ciencia, donde se busca la verdad, pero no se encuentra la certeza, en "Pruebas y refutaciones" (1976), en el cual Lakatos intentó establecer que no existe el teorema de las matemáticas informales que sea final ni perfecto.