لاکاتوش در براهین و ابطالات، چندین قاعده اساسی برای یافتن برهان و مثالهای متضاد برای حدسها ارائه کرد.