در سال 1931 میلادی کورت گودل گزاره مشهور خود به نام کمال ناپذیری را به چاپ رساند.
او در ابتدای رساله خود چنین می گوید:
تکامل ریاضیات در جهت دقت بیشتر موجب شده است که شاخه های بسیاری از آن به شکل صوری در آید، به طوری که با استفاده از عده کمی از قوانین مکانیکی می توان اثبات گزاره ها را انجام داد...