کرٹ گوڈل کے نتائج نے اس پروگرام کا جزوی حل پیش کیا اور غیر متضادی میں حائل تنقیح کو اجاگر کیا ۔
Entity: کرٹ گوڈل — Type: /person, /person/author