കോൺഗ്രസ് ഓഫ് ക്രായ്സ്ബർഗ്
1930 സെപ്റ്റംബറിൽ Kört Géruist del തന്റെ ആദ്യത്തെ അപൂർണ്ണതയുടെ പ്രമേയം പ്രഖ്യാപിച്ച Kört Géruist nigsberg എന്ന ഗണിതശാസ്ത്ര കോൺഗ്രസിൽ ഒരു ശക്തമായ നെഗറ്റീവ് ഉത്തരം വന്നു.
1930-ൽ നടത്തിയ സ്വയംസിദ്ധ സംവിധാനത്തെക്കുറിച്ചുള്ള ഗോഡലിന്റെ പ്രസ്താവന എവിടെയായിരുന്നു?