اُس نے 1931ء کے نظریہ نامکمل ( Incompleteness Theorem ) میں یہ ثابت کیا کہ ہلبرٹ کا منصوبہ ناممکن ہے ۔
Entity: 1931ء — Type: /time