مع هذه المساهمة من فون نيومان, اصبح النظام بديهي من نظرية المجموعات مرض تماما, والسؤال التالي هو ما اذا كان ايضا نهائيا, وليس يخضع للتحسين. اجابة سلبية قوية وصلت في ايلول / سبتمبر 1930 في مؤتمر كونيبرغ الرياضي التاريخي, والذي اعلن فيه كورت غو غودل اول نظرية عدم اكتمال: الانظمة البديهية المعتادة غير كاملة, بمعنى انها لا يمكنها اثبات كل حقيقة وهي التعبير في لغتهم. كانت هذه النتيجة مبتكرة بما فيه الكفاية ل تخلطوا معظم علماء الرياضيات في ذلك الوقت.
في عام 1930 من الذي قدم اجابة سلبية قوية على نهج فون ن في النظام بديهي لنظام نظرية المجموعات?
كورت غودل