قضایای ناتمامیت گودل: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز ویرایش 5.239.109.160 (بحث) به آخرین تغییری که Rezabot انجام داده بود واگردانده شد
برچسب: واگردانی
Fatranslator (بحث | مشارکت‌ها)
جز ربات:افزودن الگو ناوباکس {{فرامنطق}}+
خط ۳۸:
{{پانویس}}
{{دانش محاسبه‌پذیر}}
{{فرامنطق}}
 
[[رده:آثار کورت گودل]]
[[رده:قضایای بنیان‌های ریاضیات]]