گوڈل نامکملیت قضیہات ریاضیاتی منطق کے دو قضیہ ہیں جو ( سوائے انتہائی معمولی مسلمہ نظامات کے ) تمام مسلمہ نظامات کا جبلّی محدود پن قائم کرتے ہیں ۔
Entity: گوڈل — Type: /person, /person/author