ف "الإثباتات والتفنيدات"، قدم لاكاتوس بزاف ديال القواعد الأساسية باش نلقاو الإثباتات والأمثلة المضادة للتخمينات.