सबूत और खंडन में, लैकाटोस ने अनुमान के लिए सबूत और प्रति उदाहरण खोजे के लिए कय बुनियादी नियम देलकय।