قضیههای ناتمامیت گودلGödel's incompleteness theoremsواژههای مصوب فرهنگستاندو قضیه در منطق ریاضی، دربارة محدودیت اثباتپذیری در نظریههای اصلموضوعی صوری