What Lakatos tried to establish was that no theorem of informal mathematics is final or perfect.
Αυτό που προσπάθησε να καταδείξει ο Λάκατος ήταν ότι δεν υπάρχει θεώρημα των informal mathematics που να είναι τελικό ή τέλειο.