بالبراهين والتفنيد، لاكاتوس قدم قواعد أساسية عديدة لإيجاد البراهين وأمثلة مضادة للتخمين.