قضیه‌های ناتمامیت گودل

دو قضیه در منطق ریاضی، دربارة محدودیت اثبات‌پذیری در نظریه‌های اصل‌موضوعی صوری