وعليه، راها كتعتابر المصدر اللي كياخذ منو جودل نظريات عدم الاكتمال الخاصة به واللي كتفترض (بشكل ماشي رسمي) ضمنيًا أن أي نظام رسمي فعال كيتضمن حسابات أساسية، في حالة كانت صحة البرهان (بمعنى أن جميع النظريات اللي كيمكن الإثبات ديالها صحيحة)، بالضرورة ما مكتاملاش (بمعنى أنه كاينة نظريات صحيحة ما يمكنش الإثبات ديالها في هاد النظام).