اتھ پٲٹھۍ، چھ یہ گوڈل کیٚن نامکمل تھیومن ہنٛد گرٕ یس (غٲر رسمی طورس پیٚٹھ) یہ ونان چھ کہ کانٛہہ تہ موثر رسمی نظام یتھ منٛز بنیٲدی ریاضی شٲمل آسہ، اگر درست آسن (ییٚمیک مطلب چھ یہ کہ تمام تھیومہٕ یم ثٲبت کرنہٕ ین، چھ پٔزۍ) ، چھ لٲزمی طور نا مکمل (مطلب چھ یہ کہ حقیقی تھیوریمہٕ چھےٚ موجود۔ یم اتھ نظامس منٛز ثٲبت ہیٚکن نہٕ گٔژھتھ) ۔