In Prove e Confutasioni, Lakatos ga dato tante regołe de base par trovàr prove e controesenpi ae congetùre.